--- a/src/CTT/CTT.thy Mon Sep 20 15:29:53 2010 +0200
+++ b/src/CTT/CTT.thy Mon Sep 20 16:05:25 2010 +0200
@@ -10,7 +10,7 @@
uses "~~/src/Provers/typedsimp.ML" ("rew.ML")
begin
-setup PureThy.old_appl_syntax_setup
+setup Pure_Thy.old_appl_syntax_setup
typedecl i
typedecl t