2016-02-17 haftmann 2016-02-17 separated potentially conflicting type class instance into separate theory
2015-09-22 haftmann 2015-09-22 include some data structures into code generation
2015-09-06 haftmann 2015-09-06 unconditional parenthesing of (chained) abstractions in Scala, with explicit regression setup
2015-09-06 haftmann 2015-09-06 parenthesing let-expressions in OCaml similar to case expressions avoids precendence problems due to ambiguous scope; with explicit regression setup
2015-03-29 wenzelm 2015-03-29 tuned;
2015-03-17 paulson 2015-03-17 more general type class for factorial. Now allows code generation (?)
2015-03-17 paulson 2015-03-17 Merge
2015-02-05 haftmann 2015-02-05 slightly more standard code setup for String.literal, with explicit special case in predicate compiler
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-10-21 haftmann 2014-10-21 turn even into an abbreviation
2014-10-14 haftmann 2014-10-14 purely algebraic characterization of even and odd
2013-02-17 haftmann 2013-02-17 Sieve of Eratosthenes
2013-02-15 haftmann 2013-02-15 attempt to re-establish conventions which theories are loaded into the grand unified library theory; four different code generation tests for different code setup constellations; augment code generation setup where necessary
2013-02-15 haftmann 2013-02-15 systematic conversions between nat and nibble/char; more uniform approaches to execute operations on nibble/char
2012-08-29 Christian Sternagel 2012-08-29 renamed theory List_Prefix into Sublist (since it is not only about prefixes)
2011-03-03 wenzelm 2011-03-03 modernized imports;
2010-07-02 haftmann 2010-07-02 introduced distinct session HOL-Codegenerator_Test