Thu, 19 Oct 2000 01:47:50 +0200 |
wenzelm |
added tcs_of;
|
file |
diff |
annotate
|
Tue, 19 Sep 2000 23:52:00 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 15 Sep 2000 20:22:36 +0200 |
wenzelm |
added "congs" keyword;
|
file |
diff |
annotate
|
Fri, 15 Sep 2000 19:34:28 +0200 |
wenzelm |
"hints" made keyword again;
|
file |
diff |
annotate
|
Wed, 13 Sep 2000 22:28:50 +0200 |
wenzelm |
tuned recdef hints;
|
file |
diff |
annotate
|
Thu, 07 Sep 2000 20:51:07 +0200 |
wenzelm |
tuned msg;
|
file |
diff |
annotate
|
Wed, 06 Sep 2000 19:01:37 +0200 |
wenzelm |
make SML/NJ happy;
|
file |
diff |
annotate
|
Wed, 06 Sep 2000 16:54:12 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 05 Sep 2000 18:49:26 +0200 |
wenzelm |
recdef hints (attributes and modifiers);
|
file |
diff |
annotate
|
Fri, 18 Aug 2000 18:06:10 +0200 |
wenzelm |
removed obsolete add_recdef_x;
|
file |
diff |
annotate
|
Thu, 17 Aug 2000 18:31:12 +0200 |
nipkow |
installed recdef congs data
|
file |
diff |
annotate
|
Tue, 18 Apr 2000 14:54:08 +0200 |
wenzelm |
removed obsolete "simpset" keyword;
|
file |
diff |
annotate
|
Thu, 13 Apr 2000 17:49:42 +0200 |
wenzelm |
outer syntax: no simps;
|
file |
diff |
annotate
|
Sat, 01 Apr 2000 20:21:39 +0200 |
wenzelm |
recdef: admit names/atts;
|
file |
diff |
annotate
|
Thu, 30 Mar 2000 19:47:17 +0200 |
nipkow |
If all termination conditions are proved automatically,
|
file |
diff |
annotate
|
Wed, 15 Mar 2000 23:40:59 +0100 |
berghofe |
get_recdef now returns None instead of raising ERROR.
|
file |
diff |
annotate
|
Mon, 13 Mar 2000 13:18:59 +0100 |
wenzelm |
adapted to new PureThy.add_thms etc.;
|
file |
diff |
annotate
|
Fri, 08 Oct 1999 15:08:23 +0200 |
wenzelm |
return stored thms with proper naming in derivation;
|
file |
diff |
annotate
|
Wed, 18 Aug 1999 18:44:20 +0200 |
paulson |
from Konrad: support for schematic definitions
|
file |
diff |
annotate
|
Mon, 28 Jun 1999 21:48:36 +0200 |
wenzelm |
cond_extern_table;
|
file |
diff |
annotate
|
Tue, 25 May 1999 20:24:10 +0200 |
wenzelm |
formal comments (still dummy);
|
file |
diff |
annotate
|
Mon, 24 May 1999 21:57:13 +0200 |
wenzelm |
outer syntax keyword classification;
|
file |
diff |
annotate
|
Tue, 04 May 1999 16:18:16 +0200 |
wenzelm |
add_recdef: removed names / attributes;
|
file |
diff |
annotate
|
Fri, 30 Apr 1999 18:10:35 +0200 |
wenzelm |
peoper defer_recdef interface;
|
file |
diff |
annotate
|
Tue, 27 Apr 1999 10:50:08 +0200 |
wenzelm |
proper quiet_mode;
|
file |
diff |
annotate
|
Thu, 22 Apr 1999 12:50:39 +0200 |
wenzelm |
add_recdef: actual simpset;
|
file |
diff |
annotate
|
Tue, 20 Apr 1999 15:20:27 +0200 |
wenzelm |
temporarily fake quiet_mode;
|
file |
diff |
annotate
|
Fri, 16 Apr 1999 14:49:09 +0200 |
wenzelm |
'HOL/recdef' theory data;
|
file |
diff |
annotate
|
Wed, 14 Apr 1999 19:05:10 +0200 |
wenzelm |
Wrapper module for Konrad Slind's TFL package.
|
file |
diff |
annotate
|