src/Pure/ML-Systems/proper_int.ML
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;