src/Pure/Tools/plugin.ML

--- a/src/Pure/Tools/plugin.ML	Mon Oct 13 21:41:29 2014 +0200
+++ b/src/Pure/Tools/plugin.ML	Mon Oct 13 21:46:41 2014 +0200
@@ -97,6 +97,7 @@
 sig
   type T
   val data: Plugin_Name.filter -> T -> local_theory -> local_theory
+  val data_default: T -> local_theory -> local_theory
   val interpretation: string -> (T -> local_theory -> local_theory) -> theory -> theory
 end;
 
@@ -178,6 +179,8 @@
     Plugin_Data.map (apfst (cons (mk_data filter (Sign.naming_of thy) x))) thy)
   #> consolidate;
 
+val data_default = data Plugin_Name.default_filter;
+
 fun interpretation name f =
   Plugin_Data.map (apsnd (cons (mk_interp name f, [])))
   #> perhaps consolidate';