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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]Common.v09-Sep-2011 12:44 1.8K 
[   ]Definitions.v09-Sep-2011 12:44 7.4K 
[   ]good_bad.v09-Sep-2011 12:44 15K 
[   ]iA_ordering.v09-Sep-2011 12:44 28K 
[   ]knorm.v09-Sep-2011 12:44 2.0K 
[   ]Optioned_Bool.v09-Sep-2011 12:44 5.3K 
[   ]Orders.v09-Sep-2011 12:44 17K 
[   ]order_N.v09-Sep-2011 12:44 23K 
[   ]Valuations.v09-Sep-2011 12:44 9.8K