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