doc-src/Functions/isabelle_isar.pdf
author wenzelm
Mon, 04 Jul 2011 22:11:32 +0200
changeset 43661 39fdbd814c7f
parent 30226 2f4684e2ea95
permissions -rw-r--r--
quasi-static Isabelle_System -- reduced tendency towards "functorial style";
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
30226
2f4684e2ea95 more canonical directory structure of manuals
haftmann
parents: 21212
diff changeset
     1
(binary:application/pdf)