Wed, 17 Nov 1999 15:03:23 +0100 |
wenzelm |
added Isar_examples/Puzzle.thy;
|
file |
diff |
annotate
|
Fri, 08 Oct 1999 15:09:14 +0200 |
wenzelm |
improved presentation;
|
file |
diff |
annotate
|
Tue, 28 Sep 1999 14:24:22 +0200 |
wenzelm |
added W_correct -- correctness of Milner's type inference algorithm W
|
file |
diff |
annotate
|
Thu, 02 Sep 1999 15:25:19 +0200 |
wenzelm |
renamed NatSum to Summation;
|
file |
diff |
annotate
|
Wed, 01 Sep 1999 21:46:01 +0200 |
wenzelm |
added MultisetOrder.thy;
|
file |
diff |
annotate
|
Sun, 29 Aug 1999 17:53:03 +0200 |
wenzelm |
added MutilatedCheckerboard;
|
file |
diff |
annotate
|
Thu, 01 Jul 1999 21:30:18 +0200 |
wenzelm |
added KnasterTarski.thy;
|
file |
diff |
annotate
|
Fri, 04 Jun 1999 16:17:20 +0200 |
wenzelm |
added Group.thy;
|
file |
diff |
annotate
|
Fri, 30 Apr 1999 18:25:10 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 27 Apr 1999 15:10:36 +0200 |
wenzelm |
added Isar_examples/NatSum.thy;
|
file |
diff |
annotate
|
Fri, 16 Apr 1999 17:44:29 +0200 |
wenzelm |
Miscellaneous Isabelle/Isar examples for Higher-Order Logic.
|
file |
diff |
annotate
|