tuned;

--- a/src/Pure/Tools/named_theorems.ML	Fri Apr 21 21:12:26 2023 +0200
+++ b/src/Pure/Tools/named_theorems.ML	Fri Apr 21 21:25:10 2023 +0200
@@ -59,7 +59,7 @@
 
 fun clear name = map_entry name (K Thm.item_net);
 
-fun add_thm name th = map_entry name (Item_Net.update (Thm.trim_context th));
+fun add_thm name = map_entry name o Item_Net.update o Thm.trim_context;
 fun del_thm name = map_entry name o Item_Net.remove;
 
 val add = Thm.declaration_attribute o add_thm;