src/HOL/ex/ExecutableContent.thy
2008-12-16 krauss 2008-12-16 method "sizechange" proves termination of functions; added more infrastructure for termination proofs
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s
2008-09-16 haftmann 2008-09-16 dropped superfluous code lemmas
2008-09-02 nipkow 2008-09-02 Replaced Library/NatPair by Nat_Int_Bij.
2008-07-03 haftmann 2008-07-03 tuned
2008-07-02 haftmann 2008-07-02 cleaned up some code generator configuration
2008-07-01 haftmann 2008-07-01 HOL += HOL-Complex
2008-06-10 haftmann 2008-06-10 major refactorings in code generator modules
2008-04-02 haftmann 2008-04-02 extended
2008-03-27 haftmann 2008-03-27 added Enum
2008-02-01 haftmann 2008-02-01 fixed record problem
2008-01-31 haftmann 2008-01-31 temporary adjustions
2008-01-25 haftmann 2008-01-25 distinguished examples for Efficient_Nat.thy
2007-12-07 haftmann 2007-12-07 new primrec
2007-12-05 haftmann 2007-12-05 improved
2007-09-18 haftmann 2007-09-18 introduced generic concepts for theory interpretators
2007-09-06 berghofe 2007-09-06 Integrated Executable_Rat and Executable_Real theories into Rational and RealDef theories.
2007-08-27 haftmann 2007-08-27 added explicit equation for equality of nested environments
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-09 haftmann 2007-08-09 proper implementation of rational numbers
2007-07-10 haftmann 2007-07-10 re-expanded paths
2007-06-05 wenzelm 2007-06-05 tuned source deps;
2007-05-19 haftmann 2007-05-19 added Executable_Real
2007-05-15 chaieb 2007-05-15 A verified theory for rational numbers representation and simple calculations; verified with respect to the real numbers;
2007-04-20 haftmann 2007-04-20 added more stuff
2007-03-30 haftmann 2007-03-30 tuned
2007-03-26 haftmann 2007-03-26 Eval theory
2007-01-26 haftmann 2007-01-26 added NestedEnvironment
2007-01-25 haftmann 2007-01-25 not importing NestedEnvironment
2007-01-05 haftmann 2007-01-05 added CodeEval
2006-12-28 haftmann 2006-12-28 added