Sat, 14 Nov 1998 13:25:34 +0100 | wenzelm | Theory.copy; | file | diff | annotate |
Mon, 09 Nov 1998 15:41:24 +0100 | wenzelm | Isar setups; | file | diff | annotate |
Tue, 04 Aug 1998 18:23:28 +0200 | wenzelm | Locale.setup; | file | diff | annotate |
Wed, 29 Jul 1998 15:38:08 +0200 | wenzelm | late setup of Pure and CPure; | file | diff | annotate |
Mon, 29 Jun 1998 21:33:35 +0200 | wenzelm | moved actual (C)Pure theories to pure.ML; | file | diff | annotate |