src/Sequents/LK/Quantifiers.thy
2014-02-01 wenzelm 2014-02-01 simplified sessions;
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-04-23 wenzelm 2010-04-23 mark schematic statements explicitly;
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2006-11-20 wenzelm 2006-11-20 converted legacy ML scripts;