src/HOL/Library/Extended_Real.thy
2011-08-12 huffman 2011-08-12 make Multivariate_Analysis work with separate set type
2011-08-10 huffman 2011-08-10 avoid warnings about duplicate rules
2011-07-21 haftmann 2011-07-21 moved some lemmas
2011-07-21 haftmann 2011-07-21 ereal is a complete_linorder instance
2011-07-20 hoelzl 2011-07-20 add code generator setup and tests for ereal
2011-07-19 hoelzl 2011-07-19 rename Fin to enat
2011-07-19 hoelzl 2011-07-19 add ereal to typeclass infinity
2011-07-19 hoelzl 2011-07-19 Rename extreal => ereal