| Tue, 28 Sep 1999 16:44:22 +0200 |
paulson |
tidied, using "warning" function and fixing the Close_locale bug
|
file |
diff |
annotate
|
| Sat, 04 Sep 1999 21:01:18 +0200 |
wenzelm |
ProtoPure: fake empty scope;
|
file |
diff |
annotate
|
| Fri, 30 Apr 1999 18:01:11 +0200 |
wenzelm |
theory data: copy;
|
file |
diff |
annotate
|
| Tue, 09 Feb 1999 10:47:21 +0100 |
paulson |
tidied; better error messages
|
file |
diff |
annotate
|
| Wed, 03 Feb 1999 16:46:31 +0100 |
wenzelm |
added thm, thms, Open_locale, Close_locale, Print_scope;
|
file |
diff |
annotate
|
| Fri, 11 Dec 1998 10:36:39 +0100 |
paulson |
the + facility for locales, by Florian
|
file |
diff |
annotate
|
| Sat, 31 Oct 1998 12:42:34 +0100 |
paulson |
locales now implicitly quantify over free variables
|
file |
diff |
annotate
|
| Fri, 23 Oct 1998 18:48:59 +0200 |
paulson |
better checking of "defines" in a locale
|
file |
diff |
annotate
|
| Thu, 22 Oct 1998 20:07:42 +0200 |
wenzelm |
support current_goals_markers ref variable for print_current_goals;
|
file |
diff |
annotate
|
| Tue, 04 Aug 1998 18:21:03 +0200 |
wenzelm |
added locale.ML;
|
file |
diff |
annotate
|