isabelle: Changelog

paulson [Mon, 26 Feb 2001 16:36:53 +0100] rev 11183

minor tweaks to speed the proofs

paulson [Mon, 26 Feb 2001 10:41:24 +0100] rev 11182

minor fixes

oheimb [Fri, 23 Feb 2001 16:31:21 +0100] rev 11181

renamed addaltern to addafter, addSaltern to addSafter

oheimb [Fri, 23 Feb 2001 16:31:18 +0100] rev 11180

removed performance leak for split_conv_tac (and corresponding safe wrapper)

paulson [Thu, 22 Feb 2001 18:13:23 +0100] rev 11179

subst method and a new section on rule, rule_tac, etc

kleing [Thu, 22 Feb 2001 18:03:11 +0100] rev 11178

removed unused constant

kleing [Thu, 22 Feb 2001 11:47:35 +0100] rev 11177

removed unused function

paulson [Thu, 22 Feb 2001 11:31:31 +0100] rev 11176

a PROPER tidy-up

nipkow [Thu, 22 Feb 2001 10:18:41 +0100] rev 11175

recoded function iter with the help of the while-combinator.

paulson [Wed, 21 Feb 2001 15:21:15 +0100] rev 11174

revisions in response to comments by Tobias

isabelle