isabelle: Changelog

haftmann [Thu, 14 Feb 2013 12:24:56 +0100] rev 51113

factored out shared preprocessor setup into theory Code_Abstract_Nat, tuning descriptions

haftmann [Thu, 14 Feb 2013 12:24:42 +0100] rev 51112

abandoned theory Plain

wenzelm [Thu, 14 Feb 2013 13:16:47 +0100] rev 51111

tuned;

wenzelm [Wed, 13 Feb 2013 21:53:02 +0100] rev 51110

clarified default according to etc/options;

wenzelm [Wed, 13 Feb 2013 19:52:58 +0100] rev 51109

Java assumes regular "re-parenting" window manager;

immler [Wed, 13 Feb 2013 17:41:27 +0100] rev 51108

merged

immler [Wed, 13 Feb 2013 16:35:07 +0100] rev 51107

complete metric for formal power series

immler [Wed, 13 Feb 2013 16:35:07 +0100] rev 51106

eliminated union_closed_basis; cleanup Fin_Map

immler [Wed, 13 Feb 2013 16:35:07 +0100] rev 51105

fine grained instantiations

immler [Wed, 13 Feb 2013 16:35:07 +0100] rev 51104

use maximum norm for type finmap

isabelle