src/HOL/Real/Hyperreal/Filter.ML
2000-06-22 wenzelm 2000-06-22 bind_thm(s);
2000-05-10 wenzelm 2000-05-10 fixed theory deps;
1999-10-27 oheimb 1999-10-27 added various little lemmas
1999-09-07 wenzelm 1999-09-07 isatool expandshort;
1999-08-16 paulson 1999-08-16 inserted Id: lines
1999-07-29 paulson 1999-07-29 added parentheses to cope with a possible reduction of the precedence of unary minus
1998-12-11 paulson 1998-12-11 new Close_locale synatx
1998-11-27 paulson 1998-11-27 Addition of Hyperreal theories Zorn and Filter