src/Sequents/Washing.thy
2015-10-10 wenzelm 2015-10-10 more symbols;
2015-07-23 wenzelm 2015-07-23 isabelle update_cartouches;
2014-03-18 wenzelm 2014-03-18 tuned signature -- rearranged modules;
2014-02-01 wenzelm 2014-02-01 lazy_pack is default context for ILL;
2014-02-01 wenzelm 2014-02-01 misc tuning and modernization;
2013-02-28 wenzelm 2013-02-28 eliminated legacy 'axioms';
2010-09-06 wenzelm 2010-09-06 more antiquotations;
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;