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 |