| Mon, 16 Mar 2009 17:51:24 +0100 | wenzelm | updated generated file; | file | diff | annotate |
| Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
| Mon, 16 Jun 2008 17:54:35 +0200 | wenzelm | eliminated OldGoals.inst; | file | diff | annotate |
| Wed, 11 Jun 2008 18:02:25 +0200 | wenzelm | OldGoals.inst; | file | diff | annotate |
| Mon, 23 Jul 2007 14:31:34 +0200 | berghofe | LaTeX code is now generated directly from theory files. | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Sat, 19 May 2001 12:19:23 +0200 | paulson | spelling check | file | diff | annotate |
| Wed, 11 Apr 2001 11:53:54 +0200 | paulson | symlinks to ../../../HOL/Auth. Fingers crossed... | file | diff | annotate |