| 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 |