src/HOL/Complex/ex/ReflectedFerrack.thy
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-08-20 haftmann 2007-08-20 renamed code_gen to export_code
2007-08-20 nipkow 2007-08-20 removed allpairs
2007-08-13 haftmann 2007-08-13 renamed keyword "to" to "module_name"
2007-07-19 haftmann 2007-07-19 uniform naming conventions for CG theories
2007-07-16 haftmann 2007-07-16 dropped outer ROOT structure for generated code
2007-06-29 haftmann 2007-06-29 dropped local cg cmd
2007-06-28 haftmann 2007-06-28 new code generator framework
2007-06-23 nipkow 2007-06-23 tuned and renamed group_eq_simps and ring_eq_simps
2007-06-11 chaieb 2007-06-11 tuned Proof and Document
2007-06-05 chaieb 2007-06-05 Added twe Examples for Quantifier elimination ofer linear real arithmetic and over the mixed theory of linear real artihmetic with integers