src/HOL/Real/Hyperreal/Zorn.ML
2000-06-22 wenzelm 2000-06-22 bind_thm(s);
2000-05-10 wenzelm 2000-05-10 fixed theory deps;
1999-09-07 wenzelm 1999-09-07 isatool expandshort;
1999-08-23 wenzelm 1999-08-23 isatool expandshort;
1999-08-16 paulson 1999-08-16 inserted Id: lines
1998-11-27 paulson 1998-11-27 Addition of Hyperreal theories Zorn and Filter