| Tue, 11 Jul 2006 12:17:06 +0200 |
wenzelm |
Name.dest_skolem;
|
file |
diff |
annotate
|
| Sat, 17 Jun 2006 19:37:48 +0200 |
wenzelm |
Term.skolem;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2006 17:14:06 +0100 |
wenzelm |
sane ERROR handling;
|
file |
diff |
annotate
|
| Thu, 22 Dec 2005 00:29:11 +0100 |
wenzelm |
updated auxiliary facts for induct method;
|
file |
diff |
annotate
|
| Mon, 31 Oct 2005 16:00:15 +0100 |
haftmann |
fold_index replacing foldln
|
file |
diff |
annotate
|
| Thu, 15 Sep 2005 17:16:56 +0200 |
wenzelm |
TableFun/Symtab: curried lookup and update;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2005 23:08:15 +0200 |
wenzelm |
curried_lookup/update;
|
file |
diff |
annotate
|
| Mon, 01 Aug 2005 19:20:32 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 28 Jul 2005 15:19:51 +0200 |
wenzelm |
Sign.typ_match;
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 18:33:08 +0200 |
wenzelm |
accomodate identification of type Sign.sg and theory;
|
file |
diff |
annotate
|
| Thu, 21 Apr 2005 19:13:03 +0200 |
berghofe |
Adapted to new interface of instantiation and unification / matching functions.
|
file |
diff |
annotate
|
| Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
| Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
| Tue, 19 Oct 2004 22:45:20 +0200 |
berghofe |
Replaced PolyML specific print function by Display.print_thm(s)
|
file |
diff |
annotate
|
| Mon, 18 Oct 2004 13:40:45 +0200 |
dixon |
added a missing case (Var x) that made finding a case split fail, in order to prove the specification equation from the split versions, for some recursive functions.
|
file |
diff |
annotate
|
| Fri, 20 Aug 2004 12:20:09 +0200 |
paulson |
fix to eliminate excessive case-splits in the recursion equations, by Luca Dixon
|
file |
diff |
annotate
|