3 months ago haftmann 2019-03-10 migrated from Nums to Zarith as library for OCaml integer arithmetic
8 months ago nipkow 2018-09-24 Prefix form of infix with * on either side no longer needs special treatment because (* and *) are no longer comment brackets in terms.
17 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
24 months ago haftmann 2017-06-20 avoid ancient [code, code del] antipattern
24 months ago haftmann 2017-06-20 obsolete
2016-06-24 wenzelm 2016-06-24 misc tuning and modernization;
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2015-09-04 wenzelm 2015-09-04 modernized name space management -- more uniform qualification;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-04-11 paulson 2015-04-11 Overloading of ln and powr, but "approximation" no longer works for powr. Code generation also fails due to type ambiguity in scala.
2013-11-19 haftmann 2013-11-19 eliminiated neg_numeral in favour of - (numeral _)
2013-06-23 haftmann 2013-06-23 migration from code_(const|type|class|instance) to code_printing and from code_module to code_identifier
2013-06-21 hoelzl 2013-06-21 Code_Real_Approx_By_Float: remove code equations using Ratreal
2013-03-26 wenzelm 2013-03-26 tuned imports;
2013-02-15 haftmann 2013-02-15 two target language numeral types: integer and natural, as replacement for code_numeral; former theory HOL/Library/Code_Numeral_Types replaces HOL/Code_Numeral; refined stack of theories implementing int and/or nat by target language numerals; reduced number of target language numeral types to exactly one
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2012-02-12 haftmann 2012-02-12 notepad is more appropriate here
2011-11-14 hoelzl 2011-11-14 remove sorry, otherwise it breaks the testboard
2011-11-14 hoelzl 2011-11-14 enforce quick_and_dirty in Code_Real_Approx_By_Float
2011-11-14 hoelzl 2011-11-14 add Code_Real_Approx_By_Float