changeset 79342 | 13eb65caaffb |
parent 79336 | 032a31db4c6f |
child 79343 | 5071516d45a6 |
--- a/src/Pure/global_theory.ML Sun Dec 24 11:13:33 2023 +0100 +++ b/src/Pure/global_theory.ML Sun Dec 24 11:13:54 2023 +0100 @@ -307,7 +307,7 @@ local val app_facts = - apfst flat oo fold_map (fn (thms, atts) => fn thy => + fold_maps (fn (thms, atts) => fn thy => fold_map (Thm.theory_attributes atts) (map (Thm.transfer thy) thms) thy); in