isabelle: Changelog

nipkow [Fri, 05 Jul 2013 16:45:31 +0200] rev 52529

improved proof automation for numerals

wenzelm [Fri, 05 Jul 2013 14:09:06 +0200] rev 52528

merged

wenzelm [Thu, 04 Jul 2013 23:51:47 +0200] rev 52527

separate exec_id assignment for Command.print states, without affecting result of eval; tuned signature; tuned;

wenzelm [Thu, 04 Jul 2013 16:04:53 +0200] rev 52526

more Command.memo operations; more explicit types Command.eval vs. Command.print vs. Document.exec; clarified print function parameters;

nipkow [Fri, 05 Jul 2013 09:17:03 +0200] rev 52525

tund proofs

wenzelm [Thu, 04 Jul 2013 12:02:11 +0200] rev 52524

tuned;

wenzelm [Thu, 04 Jul 2013 11:55:45 +0200] rev 52523

made SML/NJ happy;

Andreas Lochbihler [Thu, 04 Jul 2013 09:13:49 +0200] rev 52522

merged

krauss [Wed, 03 Jul 2013 00:08:29 +0200] rev 52521

more robust instantiation: extract vars from conclusion instead of relying on fixed overall ordering

haftmann [Thu, 04 Jul 2013 08:52:44 +0200] rev 52520

consider explicit hint for domain of class parameters when printing instance statements

isabelle