isabelle: Changelog

wenzelm [Tue, 17 Sep 2013 21:20:55 +0200] rev 53687

updated to official polyml-5.5.1;

wenzelm [Tue, 17 Sep 2013 21:12:41 +0200] rev 53686

updated to polyml-5.5.1; prefer explicit POLYML_HOME to simplify additional user settings;

wenzelm [Tue, 17 Sep 2013 17:17:55 +0200] rev 53685

actually use x86_64 machine;

kuncar [Tue, 17 Sep 2013 15:49:11 +0200] rev 53684

correct merging of restore data

lammich <lammich@in.tum.de> [Tue, 17 Sep 2013 15:18:14 +0200] rev 53683

order_bot, order_top

kuncar [Tue, 17 Sep 2013 14:10:33 +0200] rev 53682

include Int_Pow into Quotient_Examples; add end of the theory

noschinl [Tue, 17 Sep 2013 13:40:44 +0200] rev 53681

NEWS: Simps_Case_Conv

nipkow [Tue, 17 Sep 2013 08:42:51 +0200] rev 53680

added lemmas and made concerse executable

blanchet [Tue, 17 Sep 2013 01:11:37 +0200] rev 53679

merge

blanchet [Tue, 17 Sep 2013 01:09:51 +0200] rev 53678

return right theorems

isabelle