isabelle: Changelog

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

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

explicit hint for domain of class parameters in instance statements

wenzelm [Wed, 03 Jul 2013 23:42:07 +0200] rev 52518

merged

wenzelm [Wed, 03 Jul 2013 23:26:09 +0200] rev 52517

tuned message;

wenzelm [Wed, 03 Jul 2013 23:02:00 +0200] rev 52516

more exception handling -- make print functions total;

isabelle