| 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 |