doc-src/Logics/Sequents.tex
1999-08-03 paulson 1999-08-03 new chapter on Sequents