src/Pure/pure.ML
Mon, 09 Nov 1998 15:41:24 +0100 wenzelm Isar setups;
Tue, 04 Aug 1998 18:23:28 +0200 wenzelm Locale.setup;
Wed, 29 Jul 1998 15:38:08 +0200 wenzelm late setup of Pure and CPure;
Mon, 29 Jun 1998 21:33:35 +0200 wenzelm moved actual (C)Pure theories to pure.ML;
less more (0) tip