src/HOL/Library/Code_Real_Approx_By_Float.thy
Tue, 20 Jun 2017 13:07:47 +0200 haftmann avoid ancient [code, code del] antipattern
Tue, 20 Jun 2017 13:07:45 +0200 haftmann obsolete
Fri, 24 Jun 2016 18:36:14 +0200 wenzelm misc tuning and modernization;
Tue, 13 Oct 2015 09:21:15 +0200 haftmann prod_case as canonical name for product type eliminator
Fri, 04 Sep 2015 19:22:13 +0200 wenzelm modernized name space management -- more uniform qualification;
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Sat, 11 Apr 2015 11:56:40 +0100 paulson Overloading of ln and powr, but "approximation" no longer works for powr. Code generation also fails due to type ambiguity in scala.
Tue, 19 Nov 2013 10:05:53 +0100 haftmann eliminiated neg_numeral in favour of - (numeral _)
Sun, 23 Jun 2013 21:16:07 +0200 haftmann migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
Fri, 21 Jun 2013 12:41:08 +0200 hoelzl Code_Real_Approx_By_Float: remove code equations using Ratreal
Tue, 26 Mar 2013 20:02:02 +0100 wenzelm tuned imports;
Fri, 15 Feb 2013 08:31:31 +0100 haftmann two target language numeral types: integer and natural, as replacement for code_numeral;
Sun, 25 Mar 2012 20:15:39 +0200 huffman merged fork with new numeral representation (see NEWS)
Sun, 12 Feb 2012 22:10:33 +0100 haftmann notepad is more appropriate here
Mon, 14 Nov 2011 21:11:31 +0100 hoelzl remove sorry, otherwise it breaks the testboard
Mon, 14 Nov 2011 12:28:34 +0100 hoelzl enforce quick_and_dirty in Code_Real_Approx_By_Float
Mon, 14 Nov 2011 11:50:52 +0100 hoelzl add Code_Real_Approx_By_Float
less more (0) tip