--- a/src/Pure/Isar/attrib.ML Tue Aug 07 20:19:54 2007 +0200
+++ b/src/Pure/Isar/attrib.ML Tue Aug 07 20:19:55 2007 +0200
@@ -349,7 +349,11 @@
(* theory setup *)
val _ = Context.add_setup
- (register_config MetaSimplifier.simp_depth_limit_value #>
+ (register_config Unify.trace_bound_value #>
+ register_config Unify.search_bound_value #>
+ register_config Unify.trace_simp_value #>
+ register_config Unify.trace_types_value #>
+ register_config MetaSimplifier.simp_depth_limit_value #>
add_attributes
[("tagged", tagged, "tagged theorem"),
("untagged", untagged, "untagged theorem"),