doc-src/antiquote_setup.ML
changeset 42361 23f352990944
parent 42290 b1f544c84040
child 42666 fee67c099d03
     1.1 --- a/doc-src/antiquote_setup.ML	Sat Apr 16 15:47:52 2011 +0200
     1.2 +++ b/doc-src/antiquote_setup.ML	Sat Apr 16 16:15:37 2011 +0200
     1.3 @@ -132,7 +132,7 @@
     1.4  fun no_check _ _ = true;
     1.5  
     1.6  fun thy_check intern defined ctxt =
     1.7 -  let val thy = ProofContext.theory_of ctxt
     1.8 +  let val thy = Proof_Context.theory_of ctxt
     1.9    in defined thy o intern thy end;
    1.10  
    1.11  fun check_tool name =