| Wed, 31 Dec 2008 15:30:10 +0100 | wenzelm | moved term order operations to structure TermOrd (cf. Pure/term_ord.ML); | file | diff | annotate |
| Mon, 16 Jun 2008 17:54:51 +0200 | wenzelm | converted ML proofs; | file | diff | annotate |
| Wed, 11 Jun 2008 18:02:25 +0200 | wenzelm | OldGoals.inst; | file | diff | annotate |
| Sat, 01 Mar 2008 15:01:03 +0100 | wenzelm | tuned ML code, more antiquotations; | file | diff | annotate |
| Mon, 11 Feb 2008 21:32:12 +0100 | wenzelm | removed unnecessary theory qualifiers; | file | diff | annotate |
| Mon, 11 Feb 2008 15:40:21 +0100 | krauss | Made theory names in ZF disjoint from HOL theory names to allow loading both developments | file | diff | annotate |
| Sun, 07 Oct 2007 21:19:31 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Tue, 18 Sep 2007 16:08:00 +0200 | wenzelm | simplified type int (eliminated IntInf.int, integer); | file | diff | annotate |
| Thu, 31 May 2007 12:06:31 +0200 | wenzelm | moved Integ files to canonical place; | file | diff | annotate |