| Tue, 31 Mar 2009 14:09:58 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Wed, 16 Nov 2005 19:34:19 +0100 | wenzelm | tuned document; | file | diff | annotate |
| Tue, 03 Oct 2000 22:36:22 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 19 Aug 2000 12:44:39 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 26 Mar 2000 20:16:34 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 17 Nov 1999 15:03:23 +0100 | wenzelm | added Isar_examples/Puzzle.thy; | file | diff | annotate |
| Sat, 30 Oct 1999 20:20:48 +0200 | wenzelm | improved presentation; | file | diff | annotate |
| Thu, 28 Oct 1999 19:57:34 +0200 | wenzelm | improved presentation; | file | diff | annotate |
| Fri, 15 Oct 1999 16:44:37 +0200 | wenzelm | improved presentation; | file | diff | annotate |
| Thu, 14 Oct 1999 16:02:39 +0200 | wenzelm | improved presentation; | file | diff | annotate |
| Mon, 11 Oct 1999 20:44:23 +0200 | wenzelm | improved presentation; | file | diff | annotate |
| Sat, 09 Oct 1999 23:18:01 +0200 | wenzelm | improved; | file | diff | annotate |
| Fri, 08 Oct 1999 15:09:14 +0200 | wenzelm | improved presentation; | file | diff | annotate |
| Wed, 06 Oct 1999 18:50:51 +0200 | wenzelm | improved presentation; | file | diff | annotate |
| Wed, 06 Oct 1999 00:31:40 +0200 | wenzelm | improved presentation; | file | diff | annotate |