Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
import 'Main' to be on the safe side
authorblanchet
Tue, 03 Mar 2015 16:37:45 +0100
changeset 59574 de392405a851
parent 59573 d09cc83cdce9
child 59575 55f5e1cbf2a7
import 'Main' to be on the safe side
src/HOL/Mirabelle/Mirabelle.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Mirabelle/Mirabelle.thy	Sun Mar 01 23:35:41 2015 +0100
+++ b/src/HOL/Mirabelle/Mirabelle.thy	Tue Mar 03 16:37:45 2015 +0100
@@ -3,7 +3,7 @@
 *)
 
 theory Mirabelle
-imports Sledgehammer
+imports Main
 begin
 
 ML_file "Tools/mirabelle.ML"
isabelle