doc-src/IsarRef/Thy/document/isar-vm.pdf
author wenzelm
Thu, 26 Jul 2012 17:32:28 +0200
changeset 48521 0e4bb86c74fd
parent 29738 05d5615e12d3
permissions -rw-r--r--
adhoc reordering to prevent implicit side-effects of some theories in Types, Rules, Sets;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
29738
05d5615e12d3 added Isar/VM mode transition diagram;
wenzelm
parents:
diff changeset
     1
(binary:application/pdf)