src/HOL/SetInterval.ML
2000-07-13 wenzelm 2000-07-13 removed duplicate Compl_atMost;
2000-05-24 paulson 2000-05-24 facts about lessThan, etc., mostly from UNITY/LessThan