--- a/src/Cube/Cube.thy Sun May 18 17:03:14 2008 +0200 +++ b/src/Cube/Cube.thy Sun May 18 17:03:16 2008 +0200 @@ -9,6 +9,8 @@ imports Pure begin +setup PureThy.old_appl_syntax_setup + typedecl "term" typedecl "context" typedecl typing