Fri, 21 May 2004 21:28:14 +0200 |
wenzelm |
adapted tsig/sg interface;
|
file |
diff |
annotate
|
Thu, 22 Apr 2004 10:55:02 +0200 |
wenzelm |
adapted Sign.rep_sg;
|
file |
diff |
annotate
|
Fri, 16 Apr 2004 18:45:56 +0200 |
berghofe |
Replaced quote by Library.quote, since quote now refers to Symbol.quote
|
file |
diff |
annotate
|
Fri, 19 Mar 2004 10:42:38 +0100 |
paulson |
Removing the datatype declaration of "order" allows the standard General.order
|
file |
diff |
annotate
|
Thu, 09 Oct 2003 18:13:32 +0200 |
skalberg |
Added support for making constants final, that is, ensuring that no
|
file |
diff |
annotate
|
Sun, 31 Aug 2003 21:27:58 +0200 |
skalberg |
Makes interactive proof scripting recognize the show_all_types flag.
|
file |
diff |
annotate
|
Mon, 21 Oct 2002 17:04:47 +0200 |
berghofe |
Changed handling of flex-flex constraints: now stored in separate
|
file |
diff |
annotate
|
Mon, 21 Jan 2002 17:02:52 +0100 |
wenzelm |
reset show_hyps by default (in accordance to existing Isar practice);
|
file |
diff |
annotate
|
Sat, 08 Dec 2001 14:41:36 +0100 |
wenzelm |
tuned print_goals interfaces;
|
file |
diff |
annotate
|
Tue, 06 Nov 2001 23:52:23 +0100 |
wenzelm |
added goals_limit (from tctical.ML);
|
file |
diff |
annotate
|
Tue, 06 Nov 2001 19:25:24 +0100 |
wenzelm |
export pretty_thm_aux;
|
file |
diff |
annotate
|
Mon, 22 Oct 2001 17:59:39 +0200 |
wenzelm |
print_goals stuff is back (from locale.ML);
|
file |
diff |
annotate
|
Wed, 15 Aug 2001 22:20:30 +0200 |
wenzelm |
support for absolute namespace entry paths;
|
file |
diff |
annotate
|
Sat, 23 Dec 2000 22:52:41 +0100 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
Sun, 17 Sep 2000 22:23:48 +0200 |
wenzelm |
added print_thm(s)_sg;
|
file |
diff |
annotate
|
Wed, 02 Aug 2000 19:38:33 +0200 |
wenzelm |
use oracle flag from derivation;
|
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:20:52 +0100 |
wenzelm |
removed Pretty.spc;
|
file |
diff |
annotate
|
Thu, 09 Mar 2000 22:57:39 +0100 |
wenzelm |
quote tag arguments;
|
file |
diff |
annotate
|
Wed, 29 Sep 1999 13:50:26 +0200 |
wenzelm |
new tsig components;
|
file |
diff |
annotate
|
Fri, 23 Jul 1999 16:50:55 +0200 |
wenzelm |
replace assoc lists by Symtab.table;
|
file |
diff |
annotate
|
Mon, 12 Jul 1999 22:23:07 +0200 |
wenzelm |
removed pretty_thm_no_hyps (again);
|
file |
diff |
annotate
|
Thu, 08 Jul 1999 18:29:07 +0200 |
wenzelm |
added pretty_thm_no_hyps;
|
file |
diff |
annotate
|
Sat, 03 Jul 1999 00:40:57 +0200 |
wenzelm |
oops;
|
file |
diff |
annotate
|
Sat, 03 Jul 1999 00:21:35 +0200 |
wenzelm |
pretty_thm: include oracles (!) in hyps;
|
file |
diff |
annotate
|
Mon, 28 Jun 1999 21:41:02 +0200 |
wenzelm |
cond_extern_table;
|
file |
diff |
annotate
|
Wed, 17 Mar 1999 16:33:00 +0100 |
wenzelm |
qualify Theory.sign_of etc.;
|
file |
diff |
annotate
|
Tue, 09 Mar 1999 12:07:52 +0100 |
wenzelm |
pretty_thm_no_quote;
|
file |
diff |
annotate
|
Fri, 12 Feb 1999 13:55:54 +0100 |
wenzelm |
pretty_thm: quote terms (separately);
|
file |
diff |
annotate
|