Wed, 18 Oct 2000 23:40:38 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 06 Oct 2000 16:14:03 +0200 |
wenzelm |
updated, improved;
|
file |
diff |
annotate
|
Sat, 02 Sep 2000 21:56:24 +0200 |
wenzelm |
HOL/Lambda: converted into new-style theory and document;
|
file |
diff |
annotate
|
Sat, 30 Oct 1999 20:21:46 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 04 Oct 1999 21:34:20 +0200 |
wenzelm |
added BVC;
|
file |
diff |
annotate
|
Thu, 30 Sep 1999 20:49:06 +0200 |
wenzelm |
Real/HahnBanach;
|
file |
diff |
annotate
|
Fri, 20 Aug 1999 15:41:19 +0200 |
wenzelm |
AxClasses, Isar_examples;
|
file |
diff |
annotate
|
Thu, 19 Aug 1999 17:06:05 +0200 |
nipkow |
new entriues.
|
file |
diff |
annotate
|
Thu, 19 Aug 1999 16:54:38 +0200 |
paulson |
updated
|
file |
diff |
annotate
|
Thu, 12 Feb 1998 15:00:04 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 21 May 1997 17:13:00 +0200 |
wenzelm |
tuned all READMEs;
|
file |
diff |
annotate
|
Wed, 07 May 1997 13:51:22 +0200 |
paulson |
Moved induction examples to directory Induct
|
file |
diff |
annotate
|
Wed, 09 Oct 1996 13:50:28 +0200 |
paulson |
Fuller description of examples
|
file |
diff |
annotate
|
Fri, 17 Nov 1995 13:22:50 +0100 |
clasohm |
HTML version of README
|
file |
diff |
annotate
|
Fri, 17 Nov 1995 12:40:09 +0100 |
clasohm |
converted README to HTLM; replaced "CHOL" by "HOL"
|
file |
diff |
annotate
|