changeset 26957 | e3f04fdd994d |
parent 26943 | aec0d97a01c4 |
child 27104 | 791607529f6d |
--- a/src/HOL/Tools/record_package.ML Sun May 18 17:03:16 2008 +0200 +++ b/src/HOL/Tools/record_package.ML Sun May 18 17:03:20 2008 +0200 @@ -110,7 +110,7 @@ (tracing str; map (trace_thm "") thms); fun trace_term str t = - tracing (str ^ Syntax.string_of_term_global CPure.thy t); + tracing (str ^ Syntax.string_of_term_global Pure.thy t); (* timing *)