| Mon, 25 Feb 2008 16:31:17 +0100 |
wenzelm |
LocalTheory.set_group for user command;
|
file |
diff |
annotate
|
| Sat, 26 Jan 2008 17:08:35 +0100 |
wenzelm |
internal inductive: fresh theorem group;
|
file |
diff |
annotate
|
| Wed, 03 Oct 2007 00:03:01 +0200 |
wenzelm |
mark inductive results as internal;
|
file |
diff |
annotate
|
| Tue, 02 Oct 2007 22:23:28 +0200 |
wenzelm |
tuned internal inductive interface;
|
file |
diff |
annotate
|
| Fri, 28 Sep 2007 10:32:38 +0200 |
berghofe |
Adapted to changes in interface of add_inductive_i.
|
file |
diff |
annotate
|
| Tue, 10 Apr 2007 11:12:42 +0200 |
krauss |
tuned
|
file |
diff |
annotate
|
| Sat, 07 Apr 2007 18:54:30 +0200 |
krauss |
removed obsolete workarounds
|
file |
diff |
annotate
|
| Mon, 22 Jan 2007 17:29:43 +0100 |
krauss |
* Preliminary implementation of tail recursion
|
file |
diff |
annotate
|
| Tue, 14 Nov 2006 22:16:55 +0100 |
wenzelm |
InductivePackage.add_inductive_i: canonical argument order;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2006 22:06:32 +0100 |
krauss |
untabified
|
file |
diff |
annotate
|
| Thu, 26 Oct 2006 15:46:39 +0200 |
krauss |
Removed debugging output
|
file |
diff |
annotate
|
| Wed, 18 Oct 2006 16:13:03 +0200 |
krauss |
Switched function package to use the new package for inductive predicates.
|
file |
diff |
annotate
|
| Fri, 13 Oct 2006 18:28:51 +0200 |
berghofe |
Moved old inductive package to old_inductive_package.ML
|
file |
diff |
annotate
|
| Wed, 13 Sep 2006 12:05:50 +0200 |
krauss |
Major update to function package, including new syntax and the (only theoretical)
|
file |
diff |
annotate
|