Index of /~tothl/gepitan/uci repository/logic-theorist/CODE/OLD

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]Index 1996-03-19 13:03 299  
[   ]LISPLT.Z 1990-05-04 00:52 17K 
[   ]comp_gen_3.Z 1990-05-04 00:52 3.2K 
[   ]fastlt.Z 1990-05-04 00:52 9.3K 
[   ]imp_lt.Z 1990-05-04 00:52 9.2K 
[   ]no_assume_lt.Z 1990-05-04 00:52 9.2K 
[   ]smart_rote_lt.Z 1990-05-04 00:52 9.2K 
[TXT]tabular2 1990-05-04 00:52 3.0K 
[   ]wow2_lt.Z 1990-05-04 00:52 9.2K