/CB.doc/1.1.1.1/Mon Oct 16 13:30:40 1995//THOL97
/Co.doc/1.1.1.1/Mon Oct 16 13:30:41 1995//THOL97
/Compat.doc/1.1.1.1/Mon Oct 16 13:30:41 1995//THOL97
/GEN_ALL.doc/1.1.1.1/Mon Oct 16 13:30:41 1995//THOL97
/KI.doc/1.1.1.1/Mon Oct 16 13:30:41 1995//THOL97
/PROVE.doc/1.1.1.1/Mon Oct 16 13:30:41 1995//THOL97
/W.doc/1.1.1.1/Mon Oct 16 13:30:42 1995//THOL97
/assoc.doc/1.1.1.1/Mon Oct 16 13:30:42 1995//THOL97
/butlast.doc/1.1.1.1/Mon Oct 16 13:30:42 1995//THOL97
/conjuncts.doc/1.1.1.1/Mon Oct 16 13:30:42 1995//THOL97
/disjuncts.doc/1.1.1.1/Mon Oct 16 13:30:42 1995//THOL97
/find.doc/1.1.1.1/Mon Oct 16 13:30:43 1995//THOL97
/flat.doc/1.1.1.1/Mon Oct 16 13:30:43 1995//THOL97
/forall.doc/1.1.1.1/Mon Oct 16 13:30:43 1995//THOL97
/frees.doc/1.1.1.1/Mon Oct 16 13:30:43 1995//THOL97
/freesl.doc/1.1.1.1/Mon Oct 16 13:30:43 1995//THOL97
/funpow.doc/1.1.1.1/Mon Oct 16 13:30:43 1995//THOL97
/inst_type.doc/1.1.1.1/Mon Oct 16 13:30:44 1995//THOL97
/int_of_string.doc/1.1.1.1/Mon Oct 16 13:30:44 1995//THOL97
/last.doc/1.1.1.1/Mon Oct 16 13:30:44 1995//THOL97
/match.doc/1.1.1.1/Mon Oct 16 13:30:44 1995//THOL97
/new_axiom.doc/1.1.1.1/Mon Oct 16 13:30:44 1995//THOL97
/new_infix_prim_rec_definition.doc/1.1.1.1/Mon Oct 16 13:30:45 1995//THOL97
/new_prim_rec_definition.doc/1.1.1.1/Mon Oct 16 13:30:45 1995//THOL97
/oo.doc/1.1.1.1/Mon Oct 16 13:30:45 1995//THOL97
/prove_thm.doc/1.1.1.1/Mon Oct 16 13:30:45 1995//THOL97
/replicate.doc/1.1.1.1/Mon Oct 16 13:30:45 1995//THOL97
/rev_assoc.doc/1.1.1.1/Mon Oct 16 13:30:45 1995//THOL97
/save.doc/1.1.1.1/Mon Oct 16 13:30:46 1995//THOL97
/setify.doc/1.1.1.1/Mon Oct 16 13:30:46 1995//THOL97
/string_of_int.doc/1.1.1.1/Mon Oct 16 13:30:46 1995//THOL97
/tyvars.doc/1.1.1.1/Mon Oct 16 13:30:46 1995//THOL97
/tyvarsl.doc/1.1.1.1/Mon Oct 16 13:30:46 1995//THOL97
