Admin/proper_int.ML
2007-06-12 wenzelm 2007-06-12 SML basis with type int representing proper integers, not machine words.