Mon, 06 Sep 1999 18:17:48 +0200 | oheimb | added smp_tac | file | diff | annotate |
Wed, 01 Sep 1999 21:25:17 +0200 | wenzelm | bind_thm "case"; | file | diff | annotate |
Wed, 25 Aug 1999 20:49:02 +0200 | wenzelm | proper bootstrap of HOL theory and packages; | file | diff | annotate |