isabelle: Changelog

paulson [Tue, 14 Jul 1998 13:31:55 +0200] rev 5141

CHANGED_GOAL added to declare a more robust stac

nipkow [Tue, 14 Jul 1998 13:30:01 +0200] rev 5140

inj_on

paulson [Tue, 14 Jul 1998 13:29:39 +0200] rev 5139

stac now uses CHANGED_GOAL and correctly fails when it has no useful effect, even for conditional rewrites

nipkow [Mon, 13 Jul 1998 17:46:20 +0200] rev 5138

Corrected dead link.

paulson [Mon, 13 Jul 1998 16:43:57 +0200] rev 5137

Huge tidy-up: removal of leading \!\! addsplits split_tac[split_if] now default nat_succI now included by default

paulson [Mon, 13 Jul 1998 16:42:27 +0200] rev 5136

massive tidying of proofs

paulson [Mon, 13 Jul 1998 16:41:30 +0200] rev 5135

renamed mutex to Acts

isabelle