src/FOLP/ex/Quantifiers_Cla.thy
2008-03-26 wenzelm 2008-03-26 converted legacy ML scripts;