src/HOL/Library/Extended.thy
18 months ago wenzelm 2017-11-26 more symbols;
2017-04-04 wenzelm 2017-04-04 proper imports; tuned headers;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-06-01 haftmann 2015-06-01 correct sort constraints for abbreviations in type classes * * * yet another bunch of corrections
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 blanchet 2014-09-09 use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
2014-01-23 hoelzl 2014-01-23 hide extended.Fin in code generator output
2013-11-19 haftmann 2013-11-19 eliminiated neg_numeral in favour of - (numeral _)
2013-09-06 noschinl 2013-09-06 use case_of_simps
2013-03-06 nipkow 2013-03-06 added lemma
2013-03-06 nipkow 2013-03-06 extended numerals
2013-03-05 nipkow 2013-03-05 New theory of infinity-extended types; should replace Extended_xyz eventually