isabelle: Changelog

wenzelm [Tue, 14 Feb 2012 21:45:32 +0100] rev 46473

more conventional tactic setup;

wenzelm [Tue, 14 Feb 2012 21:31:26 +0100] rev 46472

eliminated odd/obsolete innermost_params (cf. a77ad6c86564, 3458b0e955ac);

wenzelm [Tue, 14 Feb 2012 21:19:39 +0100] rev 46471

prefer high-level elim_format;

wenzelm [Tue, 14 Feb 2012 20:57:05 +0100] rev 46470

discontinued unused MRL -- in correspondence with section "2.4.2 Rule composition" in the implementation manual;

wenzelm [Tue, 14 Feb 2012 20:43:32 +0100] rev 46469

method setup;

wenzelm [Tue, 14 Feb 2012 20:09:35 +0100] rev 46468

simplified use of tacticals;

wenzelm [Tue, 14 Feb 2012 20:08:59 +0100] rev 46467

comment;

wenzelm [Tue, 14 Feb 2012 19:51:39 +0100] rev 46466

tuned signature, according to actual usage of these operations;

wenzelm [Tue, 14 Feb 2012 19:29:54 +0100] rev 46465

tuned signature;

wenzelm [Tue, 14 Feb 2012 19:18:57 +0100] rev 46464

normalized aliases;

isabelle