--- a/src/Pure/Tools/named_theorems.ML Mon Apr 04 16:14:22 2016 +0200
+++ b/src/Pure/Tools/named_theorems.ML Mon Apr 04 17:02:34 2016 +0200
@@ -93,12 +93,6 @@
|> Attrib.local_setup binding (Attrib.add_del (add name) (del name)) description
in (name, lthy') end;
-val _ =
- Outer_Syntax.local_theory @{command_keyword named_theorems}
- "declare named collection of theorems"
- (Parse.and_list1 (Parse.binding -- Scan.optional Parse.text "") >>
- fold (fn (b, descr) => snd o declare b descr));
-
(* ML antiquotation *)