doc-src/IsarRef/logics.tex
2002-03-04 wenzelm 2002-03-04 tuned;
2002-03-04 wenzelm 2002-03-04 records from logics-HOL; improved typedef; tuned;
2002-02-12 wenzelm 2002-02-12 tuned;
2002-01-03 wenzelm 2002-01-03 next round of updates;