equal
deleted
inserted
replaced
19 structure Sledgehammer_Isar : SLEDGEHAMMER_ISAR = |
19 structure Sledgehammer_Isar : SLEDGEHAMMER_ISAR = |
20 struct |
20 struct |
21 |
21 |
22 open ATP_Util |
22 open ATP_Util |
23 open ATP_Systems |
23 open ATP_Systems |
24 open ATP_Translate |
24 open ATP_Problem_Generate |
25 open ATP_Reconstruct |
25 open ATP_Proof_Reconstruct |
26 open Sledgehammer_Util |
26 open Sledgehammer_Util |
27 open Sledgehammer_Filter |
27 open Sledgehammer_Filter |
28 open Sledgehammer_Provers |
28 open Sledgehammer_Provers |
29 open Sledgehammer_Minimize |
29 open Sledgehammer_Minimize |
30 open Sledgehammer_Run |
30 open Sledgehammer_Run |