src/HOL/HOL_lemmas.ML
Thu, 09 Sep 1999 14:30:08 +0200 oheimb minor change to smp_tac
Mon, 06 Sep 1999 18:17:48 +0200 oheimb added smp_tac
Wed, 01 Sep 1999 21:25:17 +0200 wenzelm bind_thm "case";
Wed, 25 Aug 1999 20:49:02 +0200 wenzelm proper bootstrap of HOL theory and packages;
less more (0) tip