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 |