src/HOL/ex/Set_Algebras.thy
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-01-15 haftmann 2011-01-15 experimental variant of interpretation with simultaneous definitions, plus example