2006-11-29 wenzelm 2006-11-29 simplified method setup;
2006-11-21 wenzelm 2006-11-21 converted legacy ML scripts;
2005-09-18 wenzelm 2005-09-18 converted to Isar theory format;
2004-05-21 wenzelm 2004-05-21 proper use of 'syntax';
1996-10-09 paulson 1996-10-09 New unified treatment of sequent calculi by Sara Kalvala combines the old LK and Modal with the new ILL (Int. Linear Logic)