| 2015-07-18 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| 2014-11-02 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| 2014-02-14 | blanchet | merged 'Option.map' and 'Option.map_option' | file | diff | annotate |
| 2013-02-15 | haftmann | two target language numeral types: integer and natural, as replacement for code_numeral; | file | diff | annotate |
| 2013-02-14 | haftmann | reform of predicate compiler / quickcheck theories: | file | diff | annotate | base |