isabelle: Changelog

wenzelm [Thu, 03 Mar 2016 11:54:51 +0100] rev 62502

removed junk;

wenzelm [Thu, 03 Mar 2016 11:12:02 +0100] rev 62501

discontinued polyml-5.3.0;

blanchet [Thu, 03 Mar 2016 17:03:09 +0100] rev 62500

made Nitpick more robust

haftmann [Thu, 03 Mar 2016 08:33:55 +0100] rev 62499

constructive formulation of factorization

wenzelm [Wed, 02 Mar 2016 19:43:31 +0100] rev 62498

support for ML_exception_debugger;

traytel [Wed, 02 Mar 2016 10:02:12 +0100] rev 62497

respect qualification when noting theorems in prim(co)rec

nipkow [Wed, 02 Mar 2016 10:01:31 +0100] rev 62496

added invariant proofs to AA trees

wenzelm [Tue, 01 Mar 2016 22:49:33 +0100] rev 62495

tuned signature;

wenzelm [Tue, 01 Mar 2016 22:11:36 +0100] rev 62494

clarified modules;

wenzelm [Tue, 01 Mar 2016 21:10:29 +0100] rev 62493

load secure.ML earlier; eliminated obsolete ml_parse.ML; tuned signature;

isabelle