Mon, 01 Aug 1994 17:24:46 +0200 | lcp | ZF/Perm.ML/inj_converse_inj, comp_inj: simpler proofs using f_imp_injective | changeset | files |
Fri, 29 Jul 1994 16:07:22 +0200 | lcp | ZF/ex/PropLog/sat_XXX: renamed logcon_XXX, since the relation is logical | changeset | files |
Fri, 29 Jul 1994 15:32:17 +0200 | nipkow | some small simplifications | changeset | files |
Fri, 29 Jul 1994 13:30:48 +0200 | lcp | deleted repeated "the" in "before the the .thy file" | changeset | files |
Fri, 29 Jul 1994 13:28:39 +0200 | lcp | renamed union_iff to Union_iff | changeset | files |
Fri, 29 Jul 1994 13:21:26 +0200 | lcp | revised for new theory system: removal of ext, addition of thy_name | changeset | files |