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