| Fri, 21 Dec 2001 15:18:07 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 21 Dec 2001 00:40:16 +0100 | wenzelm | fixed inst_thm: proper domain of env; | file | diff | annotate |
| Wed, 19 Dec 2001 00:26:04 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 18 Dec 2001 02:22:27 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 18 Dec 2001 02:19:31 +0100 | wenzelm | simultaneous type-inference of complete context/statement specifications; | file | diff | annotate |
| Fri, 14 Dec 2001 22:32:52 +0100 | wenzelm | removed debug stuff; | file | diff | annotate |
| Fri, 14 Dec 2001 22:28:52 +0100 | wenzelm | proper treatment of internal parameters; | file | diff | annotate |
| Fri, 14 Dec 2001 11:55:34 +0100 | wenzelm | beginning support for type instantiation; | file | diff | annotate |
| Thu, 29 Nov 2001 01:50:19 +0100 | wenzelm | qualify_elem: do not qualify empty names (""); | file | diff | annotate |
| Wed, 28 Nov 2001 00:42:04 +0100 | wenzelm | qualify imported facts; | file | diff | annotate |
| Sat, 24 Nov 2001 16:59:32 +0100 | wenzelm | clarified locale operations (rename, merge); | file | diff | annotate |
| Fri, 23 Nov 2001 19:20:06 +0100 | wenzelm | improved ordering of evaluated elements; | file | diff | annotate |
| Thu, 22 Nov 2001 23:45:57 +0100 | wenzelm | beginnings of actual locale expressions; | file | diff | annotate |
| Wed, 21 Nov 2001 20:20:18 +0100 | wenzelm | locale expressions; | file | diff | annotate |
| Sun, 11 Nov 2001 21:34:09 +0100 | wenzelm | added add_thmss; | file | diff | annotate |
| Fri, 09 Nov 2001 00:16:07 +0100 | wenzelm | proper close_locale; | file | diff | annotate |
| 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 |