doc-src/IsarRef/Thy/document/isar-vm.pdf
author wenzelm
Fri Oct 29 11:49:56 2010 +0200 (2010-10-29)
changeset 40255 9ffbc25e1606
parent 29738 05d5615e12d3
permissions -rw-r--r--
eliminated obsolete \_ escapes in rail environments;
     1 (binary:application/pdf)