| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Sun, 09 Apr 2006 18:51:13 +0200 | wenzelm | tuned syntax/abbreviations; | file | diff | annotate |
| Wed, 31 Aug 2005 15:46:37 +0200 | wenzelm | tuned presentation; | file | diff | annotate |
| Wed, 18 Aug 2004 11:09:40 +0200 | nipkow | import -> imports | file | diff | annotate |
| Mon, 16 Aug 2004 14:22:27 +0200 | nipkow | New theory header syntax. | file | diff | annotate |
| Thu, 22 Jul 2004 10:33:26 +0200 | paulson | new material courtesy of Norbert Voelker | file | diff | annotate |
| Thu, 24 Jun 2004 17:54:53 +0200 | paulson | Norbert Voelker | file | diff | annotate |
| Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Fri, 16 Feb 2001 13:37:21 +0100 | paulson | Blast bug fix made old proof too slow | file | diff | annotate |
| Sun, 04 Feb 2001 19:42:54 +0100 | wenzelm | moved from Induct/ to Library/ | file | diff | annotate |