Wed, 01 Dec 1993 13:00:04 +0100 | lcp | minor corrections | changeset | files |
Wed, 01 Dec 1993 12:48:47 +0100 | lcp | new references | changeset | files |
Wed, 01 Dec 1993 12:45:49 +0100 | lcp | now inspects FOLP_build_completed | changeset | files |
Wed, 01 Dec 1993 12:41:25 +0100 | lcp | now declares FOLP_build_completed | changeset | files |
Tue, 30 Nov 1993 15:31:07 +0100 | wenzelm | *** empty log message *** | changeset | files |
Tue, 30 Nov 1993 12:12:18 +0100 | wenzelm | *** empty log message *** | changeset | files |
Tue, 30 Nov 1993 11:08:18 +0100 | lcp | ZF/ex/llist_eq/lleq_Int_Vset_subset_lemma, | changeset | files |