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