| Mon, 22 May 2000 12:35:34 +0200 |
paulson |
loading the new theory MultisetOrder
|
file |
diff |
annotate
|
| Fri, 16 Jul 1999 14:03:33 +0200 |
berghofe |
Added new example (infinitely branching trees).
|
file |
diff |
annotate
|
| Thu, 11 Mar 1999 13:20:35 +0100 |
wenzelm |
removed foo_build_completed -- now handled by session management (via usedir);
|
file |
diff |
annotate
|
| Fri, 23 Oct 1998 12:57:44 +0200 |
berghofe |
Added new theory ABexp, removed obsolete theory Simult.
|
file |
diff |
annotate
|
| Fri, 09 Oct 1998 11:16:04 +0200 |
nipkow |
Multisets at last!
|
file |
diff |
annotate
|
| Tue, 06 Oct 1998 14:39:53 +0200 |
nipkow |
Merges FoldSet into Finite
|
file |
diff |
annotate
|
| Tue, 01 Sep 1998 15:04:59 +0200 |
paulson |
new theory Induct/FoldSet
|
file |
diff |
annotate
|
| Thu, 25 Jun 1998 13:57:34 +0200 |
paulson |
Installation of target HOL-Real
|
file |
diff |
annotate
|
| Fri, 19 Dec 1997 10:28:33 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 07 May 1997 12:50:26 +0200 |
paulson |
New directory to contain examples of (co)inductive definitions
|
file |
diff |
annotate
|