Wed, 17 Mar 1999 13:30:24 +0100 | wenzelm | AxClass.setup; | file | diff | annotate |
Tue, 09 Mar 1999 12:07:32 +0100 | wenzelm | HTML.setup; | file | diff | annotate |
Wed, 03 Feb 1999 16:47:37 +0100 | wenzelm | proper setup of preloaded theories (ThyInfo.register_theory); | file | diff | annotate |
Tue, 17 Nov 1998 14:07:04 +0100 | wenzelm | Theory.apply replaced by Library.apply; | file | diff | annotate |
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 |