Tue, 06 Nov 2001 23:54:09 +0100 | wenzelm | defines: Thm.def_name, proper check of args; | file | diff | annotate |
Tue, 06 Nov 2001 19:27:56 +0100 | wenzelm | proper treatment of local syntax; | file | diff | annotate |
Tue, 06 Nov 2001 01:18:46 +0100 | wenzelm | added add_locale(_i) and store_thm; | file | diff | annotate |
Mon, 05 Nov 2001 21:03:08 +0100 | wenzelm | fixes: optional typ; | file | diff | annotate |
Sun, 04 Nov 2001 20:58:26 +0100 | wenzelm | locale elements; | file | diff | annotate |
Thu, 01 Nov 2001 21:10:47 +0100 | wenzelm | beginnings of new locales (not yet functional); | file | diff | annotate |
Mon, 22 Oct 2001 18:07:30 +0200 | wenzelm | moved locale.ML to Isar/locale.ML; | file | diff | annotate |