| 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]]