changeset 51685 | 385ef6706252 |
parent 48985 | 5386df44a037 |
child 54889 | 4121d64fde90 |
--- a/src/Doc/more_antiquote.ML Wed Apr 10 13:10:38 2013 +0200 +++ b/src/Doc/more_antiquote.ML Wed Apr 10 15:30:19 2013 +0200 @@ -36,7 +36,7 @@ |> Code.equations_of_cert thy |> snd |> map_filter (fn (_, (some_thm, proper)) => if proper then some_thm else NONE) - |> map (holize o no_vars ctxt o AxClass.overload thy); + |> map (holize o no_vars ctxt o Axclass.overload thy); in Thy_Output.output ctxt (Thy_Output.maybe_pretty_source pretty_thm ctxt src thms) end; in