equal
deleted
inserted
replaced
15 end; |
15 end; |
16 |
16 |
17 structure Sledgehammer_Isar : SLEDGEHAMMER_ISAR = |
17 structure Sledgehammer_Isar : SLEDGEHAMMER_ISAR = |
18 struct |
18 struct |
19 |
19 |
|
20 open ATP_Systems |
20 open Sledgehammer_Util |
21 open Sledgehammer_Util |
21 open Sledgehammer_Fact_Filter |
22 open Sledgehammer_Fact_Filter |
22 open Sledgehammer |
23 open Sledgehammer |
23 open ATP_Systems |
|
24 open Sledgehammer_Fact_Minimizer |
24 open Sledgehammer_Fact_Minimizer |
25 |
25 |
26 (** Sledgehammer commands **) |
26 (** Sledgehammer commands **) |
27 |
27 |
28 fun add_to_relevance_override ns : relevance_override = |
28 fun add_to_relevance_override ns : relevance_override = |