src/FOLP/ex/Classical.thy
2008-03-18 wenzelm 2008-03-18 converted legacy ML scripts;