changeset 23018 | 1d29bc31b0cb |
parent 22997 | d4f3b015b50b |
child 23087 | ad7244663431 |
--- a/src/Pure/Tools/class_package.ML Sat May 19 11:33:21 2007 +0200 +++ b/src/Pure/Tools/class_package.ML Sat May 19 11:33:22 2007 +0200 @@ -561,7 +561,7 @@ #> snd in thy - |> add_locale (SOME (bname ^ "_pred")) bname supexpr ((*elems_constrains @*) elems) + |> add_locale (SOME "") bname supexpr ((*elems_constrains @*) elems) |-> (fn name_locale => ProofContext.theory_result ( `(fn thy => extract_params thy name_locale) #-> (fn (param_names, params) =>