src/FOLP/ex/Intro.thy
2008-01-27 wenzelm 2008-01-27 eliminated some legacy ML files;