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 |
Tue, 30 Nov 1993 11:07:57 +0100 | wenzelm | changed split_filename, remove_ext; | changeset | files |
Tue, 30 Nov 1993 11:04:07 +0100 | wenzelm | *** empty log message *** | changeset | files |
Tue, 30 Nov 1993 10:55:43 +0100 | lcp | ZF/quniv/QPair_Int_Vset_subset_UN: new, isolates key argument of many | changeset | files |
Mon, 29 Nov 1993 13:54:59 +0100 | wenzelm | extend: cleaned up, adapted for new Syntax.extend; | changeset | files |