isabelle: Changelog

wenzelm [Thu, 15 Dec 2011 17:37:14 +0100] rev 45890

separate rep_datatype.ML; tuned signature;

wenzelm [Thu, 15 Dec 2011 14:11:57 +0100] rev 45889

misc tuning and simplification;

wenzelm [Thu, 15 Dec 2011 13:40:20 +0100] rev 45888

more stats;

blanchet [Thu, 15 Dec 2011 10:38:50 +0100] rev 45887

made SML/NJ happier

nipkow [Thu, 15 Dec 2011 09:13:32 +0100] rev 45886

merged

nipkow [Thu, 15 Dec 2011 09:13:23 +0100] rev 45885

tuned

bulwahn [Thu, 15 Dec 2011 08:51:14 +0100] rev 45884

hiding the precious name map_entry in AList_Impl

blanchet [Wed, 14 Dec 2011 23:08:03 +0100] rev 45883

killed dead code

blanchet [Wed, 14 Dec 2011 23:08:03 +0100] rev 45882

use new redirection algorithm in Sledgehammer

blanchet [Wed, 14 Dec 2011 23:08:03 +0100] rev 45881

fixed parsing of TPTP atoms

isabelle