| Sat, 17 May 2008 21:46:22 +0200 | wenzelm | avoid undeclared variables within proofs; | file | diff | annotate |
| Wed, 19 Dec 2007 16:32:16 +0100 | schirmer | more examples | file | diff | annotate |
| Fri, 20 Apr 2007 11:21:35 +0200 | haftmann | tuned | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |
| Sat, 27 May 2006 17:42:02 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Tue, 29 Jun 2004 11:18:34 +0200 | kleing | license change to BSD | file | diff | annotate |
| Mon, 03 May 2004 23:22:17 +0200 | schirmer | reimplementation of HOL records; only one type is created for | file | diff | annotate |
| Fri, 21 Dec 2001 23:18:46 +0100 | wenzelm | qualified point.more; | file | diff | annotate |
| Thu, 22 Nov 2001 17:13:24 +0100 | wenzelm | thm "point.defs"; | file | diff | annotate |
| Thu, 25 Oct 2001 22:43:05 +0200 | wenzelm | updated records; | file | diff | annotate |
| Thu, 25 Oct 2001 02:11:49 +0200 | wenzelm | (simp add: point.make_def); | file | diff | annotate |
| Sat, 06 Oct 2001 00:02:46 +0200 | wenzelm | * sane numerals (stage 2): plain "num" syntax (removed "#"); | file | diff | annotate |
| Fri, 05 Oct 2001 21:52:39 +0200 | wenzelm | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | file | diff | annotate |
| Mon, 30 Oct 2000 18:24:42 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 21 Sep 2000 15:58:13 +0200 | wenzelm | renamed HOL/ex/Points to HOL/ex/Records; | file | diff | annotate |