src/Sequents/README.html
1998-08-27 wenzelm 1998-08-27 weblinted, tuned;
1997-05-21 wenzelm 1997-05-21 tuned all READMEs;
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)