changeset 67649 | 1e1782c1aedf |
parent 67147 | dea94b1aabc3 |
child 69185 | 6f79d6a5acad |
--- a/src/Pure/Tools/named_theorems.ML Sat Feb 17 20:03:37 2018 +0100 +++ b/src/Pure/Tools/named_theorems.ML Sun Feb 18 15:05:21 2018 +0100 @@ -52,7 +52,7 @@ fun member ctxt = Item_Net.member o the_entry (Context.Proof ctxt); fun content context = - rev o map (Thm.transfer (Context.theory_of context)) o Item_Net.content o the_entry context; + rev o map (Thm.transfer'' context) o Item_Net.content o the_entry context; val get = content o Context.Proof;