Index of /lionel.rieg/Herbrand-proof/v.8.3

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]Common.v09-Sep-2011 12:44 2.0K 
[   ]Definitions.v09-Sep-2011 12:44 4.6K 
[   ]good_bad.v09-Sep-2011 12:44 15K 
[   ]iA_ordering.v09-Sep-2011 12:44 23K 
[   ]knorm.v09-Sep-2011 12:44 2.0K 
[   ]Makefile09-Sep-2011 12:44 5.1K 
[   ]Optioned_Bool.v09-Sep-2011 12:44 5.2K 
[   ]Orders.v09-Sep-2011 12:44 18K 
[   ]order_N.v09-Sep-2011 12:44 25K 
[   ]override.lc09-Sep-2011 12:44 3.6K 
[   ]Valuations.v09-Sep-2011 12:44 8.7K