isabelle: Changelog

wenzelm [Wed, 11 Jun 2008 15:40:44 +0200] rev 27147

RuleInsts.res_inst_tac with proper context;

wenzelm [Wed, 11 Jun 2008 15:40:20 +0200] rev 27146

more antiquotations;

wenzelm [Wed, 11 Jun 2008 11:20:10 +0200] rev 27145

tuned;

haftmann [Wed, 11 Jun 2008 09:08:52 +0200] rev 27144

explicit rule for induct_tac

wenzelm [Tue, 10 Jun 2008 23:49:55 +0200] rev 27143

tuned spacing;

wenzelm [Tue, 10 Jun 2008 23:45:53 +0200] rev 27142

updated generated file;

wenzelm [Tue, 10 Jun 2008 23:45:51 +0200] rev 27141

* Attributes cases, induct, coinduct support del option.

wenzelm [Tue, 10 Jun 2008 23:28:42 +0200] rev 27140

added del attributes; tuned;

wenzelm [Tue, 10 Jun 2008 23:28:38 +0200] rev 27139

back to original import order -- thanks to proper deletion of nat cases/induct rules from type_definition;

wenzelm [Tue, 10 Jun 2008 23:28:35 +0200] rev 27138

proper deletion of nat cases/induct rules from type_definition;

isabelle