src/HOL/SetInterval.thy
Tue, 23 May 2000 07:32:24 +0200 Added SetInterval