src/HOL/SetInterval.ML
2004-03-25 paulson 2004-03-25 new material from Avigad
2002-11-28 ballarin 2002-11-28 HOL-Algebra partially ported to Isar.
2002-09-30 nipkow 2002-09-30 modified induct method
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