src/HOL/Library/Extended.thy
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