2017-11-26 | wenzelm | more symbols; | file | diff | annotate |
2017-04-04 | wenzelm | proper imports; | file | diff | annotate |
2015-06-17 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
2015-06-01 | haftmann | correct sort constraints for abbreviations in type classes | file | diff | annotate |
2014-09-11 | blanchet | updated news | file | diff | annotate |
2014-09-09 | blanchet | use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries | file | diff | annotate |
2014-01-23 | hoelzl | hide extended.Fin in code generator output | file | diff | annotate |
2013-11-19 | haftmann | eliminiated neg_numeral in favour of - (numeral _) | file | diff | annotate |
2013-09-06 | noschinl | use case_of_simps | file | diff | annotate |
2013-03-06 | nipkow | added lemma | file | diff | annotate |
2013-03-06 | nipkow | extended numerals | file | diff | annotate |
2013-03-05 | nipkow | New theory of infinity-extended types; should replace Extended_xyz eventually | file | diff | annotate |