src/Sequents/Sequents.thy
changeset 39557 fe5722fce758
parent 38499 8f0cd11238a7
child 41229 d797baa3d57c
--- a/src/Sequents/Sequents.thy	Mon Sep 20 15:29:53 2010 +0200
+++ b/src/Sequents/Sequents.thy	Mon Sep 20 16:05:25 2010 +0200
@@ -10,7 +10,7 @@
 uses ("prover.ML")
 begin
 
-setup PureThy.old_appl_syntax_setup
+setup Pure_Thy.old_appl_syntax_setup
 
 declare [[unify_trace_bound = 20, unify_search_bound = 40]]