src/HOL/ex/ExecutableContent.thy
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