isabelle: Changelog

wenzelm [Tue, 16 Oct 2007 17:06:09 +0200] rev 25048

the_abbreviation: return plain rhs only; force_expand: expand to plain rhs; added revert_abbrev; tuned;

paulson [Tue, 16 Oct 2007 16:18:36 +0200] rev 25047

added the "max_sledgehammers" option

krauss [Tue, 16 Oct 2007 14:11:35 +0200] rev 25046

Fixed variable naming in mutual induction rules

krauss [Tue, 16 Oct 2007 14:11:06 +0200] rev 25045

"sequential" is no longer a keyword. It is still used as before, but as a normal identifier => no pollution of keyword space

urbanc [Tue, 16 Oct 2007 13:00:13 +0200] rev 25044

polished some comments

wenzelm [Mon, 15 Oct 2007 21:08:37 +0200] rev 25043

unparse_arity: unparse type constructor as well;

isabelle