Mon, 26 May 1997 12:40:51 +0200 | paulson | Deleted option_case_tac because exhaust_tac performs a similar function. | file | diff | annotate |
Thu, 22 May 1997 15:09:09 +0200 | paulson | Deleted obsolete proofs. But option_case_tac will be obsolete too | file | diff | annotate |
Fri, 11 Apr 1997 15:21:36 +0200 | paulson | Yet more fast_tac->blast_tac, and other tidying | file | diff | annotate |
Mon, 07 Oct 1996 10:28:44 +0200 | paulson | Removed commands made redundant by new one-point rules | file | diff | annotate |
Thu, 26 Sep 1996 12:47:47 +0200 | paulson | Ran expandshort | file | diff | annotate |
Tue, 24 Sep 1996 09:02:34 +0200 | nipkow | Moved Option out of IOA into core HOL | file | diff | annotate |