src/Sequents/LK/Hard_Quantifiers.thy
2015-10-10 wenzelm 2015-10-10 more symbols;
2015-10-10 wenzelm 2015-10-10 more symbols;
2014-02-01 wenzelm 2014-02-01 simplified sessions;
2014-02-01 wenzelm 2014-02-01 misc tuning and modernization;
2011-03-13 wenzelm 2011-03-13 tuned headers;
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2007-08-07 wenzelm 2007-08-07 turned Unify flags into configuration options (global only);
2007-05-09 wenzelm 2007-05-09 tuned ML setup;
2006-11-20 wenzelm 2006-11-20 converted legacy ML scripts;