doc-src/Logics/logics.toc
1994-07-12 nipkow 1994-07-12 Corrected HOL.tex
1994-05-03 lcp 1994-05-03 final Springer version
1993-11-22 wenzelm 1993-11-22 *** empty log message ***
1993-11-10 lcp 1993-11-10 Initial revision