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 |