| Mon, 08 May 2006 17:40:25 +0200 | wenzelm | quoted 'termination' command; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Fri, 29 Oct 2004 15:16:02 +0200 | paulson | fixed reference to renamed theorem | file | diff | annotate |