Tue, 16 Aug 1994 18:58:42 +0200 | lcp | ZF/Makefile,ROOT.ML, ZF/ex/Integ.thy: updated for EquivClass | changeset | files |
Tue, 16 Aug 1994 18:53:29 +0200 | lcp | ZF/Makefile,ROOT.ML, ZF/ex/Integ.thy: updated for EquivClass | changeset | files |
Mon, 15 Aug 1994 19:01:51 +0200 | lcp | ZF/Makefile/FILES: added many missing .thy files | changeset | files |