src/HOL/SetInterval.thy
2000-10-12 nipkow 2000-10-12 *** empty log message ***
2000-05-24 paulson 2000-05-24 added parent
2000-05-23 nipkow 2000-05-23 Added SetInterval