doc-src/IsarImplementation/Thy/Syntax.thy
author wenzelm
Sun, 01 Mar 2009 12:37:42 +0100
changeset 30182 db768c888dfa
parent 30124 b956bf0dc87c
child 30270 61811c9224a6
permissions -rw-r--r--
minor update of Mercurial HOWTO;

theory Syntax
imports Base
begin

chapter {* Syntax and type-checking *}

text FIXME

end