src/Sequents/Washing.thy
2006-11-20 wenzelm 2006-11-20 converted legacy ML scripts;