src/Sequents/LK/Propositional.thy
2010-03-13 wenzelm removed old CVS Ids;
2006-11-20 wenzelm converted legacy ML scripts;
less more (0) tip