| Mon, 31 Dec 2001 14:08:23 +0100 | berghofe | Added section on code generator. | file | diff | annotate |
| Wed, 14 Nov 2001 18:44:27 +0100 | wenzelm | inductive: removed con_defs; | file | diff | annotate |
| Mon, 09 Apr 2001 10:11:59 +0200 | paulson | lexicographic product of two relations: updated HOL.tex | file | diff | annotate |
| Thu, 28 Sep 2000 14:49:15 +0200 | wenzelm | record proof tools: t.equality; | file | diff | annotate |
| Thu, 21 Sep 2000 15:58:13 +0200 | wenzelm | renamed HOL/ex/Points to HOL/ex/Records; | file | diff | annotate |
| Fri, 15 Sep 2000 12:39:57 +0200 | paulson | renamed (most of...) the select rules | file | diff | annotate |