src/Sequents/Washing.thy
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2008-03-29 wenzelm 2008-03-29 replaced 'ML_setup' by 'ML';
2006-11-20 wenzelm 2006-11-20 converted legacy ML scripts;