src/Sequents/ILL_predlog.thy
2010-03-13 wenzelm 2010-03-13 removed old CVS Ids; tuned headers;
2010-02-21 wenzelm 2010-02-21 simplified syntax -- to make it work for authentic syntax;
2010-02-08 wenzelm 2010-02-08 modernized some syntax translations;
2007-05-09 wenzelm 2007-05-09 tuned syntax;
2006-11-21 wenzelm 2006-11-21 converted legacy ML scripts;
2006-11-20 wenzelm 2006-11-20 converted legacy ML scripts;