doc-src/Logics/Sequents.tex
2011-05-02 wenzelm 2011-05-02 eliminated old CVS Ids;
1999-08-03 paulson 1999-08-03 new chapter on Sequents