| Tue, 31 Oct 2000 20:33:10 +0100 |
wenzelm |
tuned goal output;
|
file |
diff |
annotate
|
| Mon, 30 Oct 2000 08:34:12 +0100 |
nipkow |
Mod because of additional parameters to pretty_goals.
|
file |
diff |
annotate
|
| Mon, 22 May 2000 11:57:27 +0200 |
wenzelm |
show_consts no longer requires show_types;
|
file |
diff |
annotate
|
| Mon, 17 Apr 2000 13:57:55 +0200 |
wenzelm |
Pretty.chunks;
|
file |
diff |
annotate
|
| Wed, 15 Mar 2000 18:22:39 +0100 |
wenzelm |
added pretty_goals(_marker);
|
file |
diff |
annotate
|
| 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
|