src/HOL/Archimedean_Field.thy
2009-02-26 huffman 2009-02-26 disable floor_minus and ceiling_minus [simp]
2009-02-25 huffman 2009-02-25 new theory of Archimedean fields