src/Pure/ML-Systems/proper_int.ML
2009-09-13 wenzelm 2009-09-13 wrapper for Real.fmt -- via StringCvt.realfmt;
2009-01-19 wenzelm 2009-01-19 removed Ids;
2008-10-03 wenzelm 2008-10-03 removed obsolete Posix/Signal compatibility wrappers;
2007-09-16 wenzelm 2007-09-16 added structure Posix;
2007-09-16 wenzelm 2007-09-16 added ml_system_fix_ints;
2007-08-03 wenzelm 2007-08-03 moved Admin/proper_int.ML to Pure/ML-Systems/proper_int.ML;