src/Pure/ML-Systems/proper_int.ML
Fri, 03 Oct 2008 21:06:38 +0200 wenzelm removed obsolete Posix/Signal compatibility wrappers;
Sun, 16 Sep 2007 15:36:57 +0200 wenzelm added structure Posix;
Sun, 16 Sep 2007 14:52:32 +0200 wenzelm added ml_system_fix_ints;
Fri, 03 Aug 2007 16:28:19 +0200 wenzelm moved Admin/proper_int.ML to Pure/ML-Systems/proper_int.ML;
less more (0) tip