| Sat, 17 Sep 2005 20:14:30 +0200 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| Mon, 14 Apr 2003 18:52:45 +0200 | nipkow | added thm"..." due to new Map.thy | file | diff | annotate |
| Mon, 30 Sep 2002 16:48:15 +0200 | berghofe | Adapted to new simplifier. | file | diff | annotate |
| Tue, 27 Aug 2002 11:03:05 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
| Thu, 13 Dec 2001 15:45:03 +0100 | wenzelm | isatool expandshort; | file | diff | annotate |
| Thu, 15 Feb 2001 15:56:51 +0100 | oheimb | added trial proof | file | diff | annotate |
| Mon, 22 Jan 2001 17:26:19 +0100 | paulson | deleted several obsolete lemmas from NatArith.ML | file | diff | annotate |
| Tue, 09 Jan 2001 15:32:27 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 16 Jun 2000 13:19:15 +0200 | paulson | tidied for new card_seteq | file | diff | annotate |
| Mon, 31 Jan 2000 18:30:35 +0100 | oheimb | added IMPP to HOL | file | diff | annotate |