--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Wed Aug 24 11:17:33 2011 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Wed Aug 24 11:17:33 2011 +0200
@@ -22,6 +22,7 @@
open ATP_Systems
open ATP_Translate
open Sledgehammer_Util
+open Sledgehammer_Filter
open Sledgehammer_Provers
open Sledgehammer_Minimize
open Sledgehammer_Run
@@ -46,7 +47,6 @@
(** Sledgehammer commands **)
-val no_relevance_override = {add = [], del = [], only = false}
fun add_relevance_override ns : relevance_override =
{add = ns, del = [], only = false}
fun del_relevance_override ns : relevance_override =