Tue, 19 Oct 1999 16:23:46 +0200 | wenzelm | qed_spec_mp is a mess; | file | diff | annotate |
Mon, 11 Oct 1999 20:43:38 +0200 | wenzelm | bind_thm "ccontr"; | file | diff | annotate |
Wed, 29 Sep 1999 16:45:23 +0200 | wenzelm | bind_thm ("case_split", case_split_thm); | file | diff | annotate |
Tue, 28 Sep 1999 13:37:54 +0200 | paulson | more tidying | file | diff | annotate |
Tue, 21 Sep 1999 17:28:02 +0200 | wenzelm | removed "case" thm; | file | diff | annotate |
Thu, 09 Sep 1999 14:30:08 +0200 | oheimb | minor change to smp_tac | file | diff | annotate |
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 |