| Wed, 04 Jan 2006 16:13:53 +0100 | paulson | a few more named lemmas | file | diff | annotate |
| Wed, 26 Oct 2005 16:31:53 +0200 | paulson | tidied away duplicate thm | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |