src/HOL/Real/Float.thy
2006-06-02 wenzelm 2006-06-02 misc cleanup;
2005-07-19 wenzelm 2005-07-19 isatool fixheaders;
2005-07-12 obua 2005-07-12 - use TableFun instead of homebrew binary tree in am_interpreter.ML - add Floats to HOL/Real