doc-src/IsarImplementation/Thy/logic.thy
changeset 20437 0eb5e30fd620
parent 18537 2681f9e34390
child 20450 725a91601ed1
--- a/doc-src/IsarImplementation/Thy/logic.thy	Wed Aug 30 08:34:45 2006 +0200
+++ b/doc-src/IsarImplementation/Thy/logic.thy	Wed Aug 30 12:28:32 2006 +0200
@@ -7,6 +7,13 @@
 
 section {* Syntax *}
 
+subsection {* Variable names *}
+
+text {*
+  FIXME
+*}
+
+
 subsection {* Simply-typed lambda calculus *}
 
 text {*