| Wed, 18 Oct 2000 23:35:56 +0200 | wenzelm | MultisetOrder mmoved to HOL/Library; | file | diff | annotate |
| Tue, 03 Oct 2000 22:35:44 +0200 | wenzelm | added Hoare; | file | diff | annotate |
| Wed, 13 Sep 2000 18:45:10 +0200 | paulson | moved Primes, Fib, Factorization to HOL/NumberTheory | file | diff | annotate |
| Fri, 05 May 2000 22:30:14 +0200 | wenzelm | adapted to new arithmetic simprocs; | file | diff | annotate |
| Tue, 02 May 2000 18:55:33 +0200 | paulson | TEMPORARY REMOVAL OF TWO BROKEN EXAMPLES | file | diff | annotate |
| Wed, 05 Apr 2000 21:06:52 +0200 | wenzelm | added NestedDatatype; | file | diff | annotate |
| Thu, 20 Jan 2000 17:57:59 +0100 | wenzelm | removed Isar_examples/Minimal; | file | diff | annotate |
| Tue, 07 Dec 1999 12:13:09 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 29 Nov 1999 11:21:50 +0100 | wenzelm | Minimal.thy; | file | diff | annotate |
| 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 |