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