src/HOL/ex/Set_Theory.thy
2011-08-18 haftmann 2011-08-18 avoid case-sensitive name for example theory