| Thu, 25 Mar 2004 10:32:21 +0100 | paulson | new material from Avigad | file | diff | annotate |
| Thu, 28 Nov 2002 10:50:42 +0100 | ballarin | HOL-Algebra partially ported to Isar. | file | diff | annotate |
| Mon, 30 Sep 2002 15:44:21 +0200 | nipkow | modified induct method | file | diff | annotate |
| Thu, 13 Jul 2000 23:09:03 +0200 | wenzelm | removed duplicate Compl_atMost; | file | diff | annotate |
| Wed, 24 May 2000 18:45:29 +0200 | paulson | facts about lessThan, etc., mostly from UNITY/LessThan | file | diff | annotate |