doc-src/Functions/isabelle_isar.pdf
author haftmann
Thu, 29 Apr 2010 15:00:43 +0200
changeset 36537 b0186c66f324
parent 30226 2f4684e2ea95
permissions -rw-r--r--
repaired subtle misunderstanding: statement names are only passed for name resolution

(binary:application/pdf)