src/ZF/ind_syntax.ML
changeset 32740 9dd0a2f83429
parent 30345 76fd85bbf139
child 32765 3032c0308019
     1.1 --- a/src/ZF/ind_syntax.ML	Tue Sep 29 14:59:24 2009 +0200
     1.2 +++ b/src/ZF/ind_syntax.ML	Tue Sep 29 16:24:36 2009 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  struct
     1.5  
     1.6  (*Print tracing messages during processing of "inductive" theory sections*)
     1.7 -val trace = ref false;
     1.8 +val trace = Unsynchronized.ref false;
     1.9  
    1.10  fun traceIt msg thy t =
    1.11    if !trace then (tracing (msg ^ Syntax.string_of_term_global thy t); t)