isabelle: Changelog

wenzelm [Sat, 23 Apr 2011 13:00:19 +0200] rev 42463

modernized specifications;

wenzelm [Fri, 22 Apr 2011 15:57:43 +0200] rev 42462

tuned signature;

wenzelm [Fri, 22 Apr 2011 15:25:01 +0200] rev 42461

stats for mac-poly-M2;

wenzelm [Fri, 22 Apr 2011 15:24:00 +0200] rev 42460

simplified Data signature;

wenzelm [Fri, 22 Apr 2011 15:05:04 +0200] rev 42459

misc tuning and simplification;

wenzelm [Fri, 22 Apr 2011 14:53:11 +0200] rev 42458

misc tuning;

wenzelm [Fri, 22 Apr 2011 14:38:49 +0200] rev 42457

do not open ML structures;

wenzelm [Fri, 22 Apr 2011 14:30:32 +0200] rev 42456

proper context for Quantifier1 simprocs (avoid bad ProofContext.init_global from abc655166d61); tuned signature;

wenzelm [Fri, 22 Apr 2011 13:58:13 +0200] rev 42455

modernized Quantifier1 simproc setup;

wenzelm [Fri, 22 Apr 2011 13:07:47 +0200] rev 42454

tuned signature;

isabelle