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.
fixes related to Refute's move
authorblanchet
Wed, 31 Oct 2012 11:23:21 +0100
changeset 49988 ef811090e106
parent 49987 25e333d2eccd
child 49989 34d0ac1bdac6
fixes related to Refute's move
src/HOL/ex/Refute_Examples.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Refute_Examples.thy	Wed Oct 31 11:23:21 2012 +0100
+++ b/src/HOL/ex/Refute_Examples.thy	Wed Oct 31 11:23:21 2012 +0100
@@ -8,7 +8,7 @@
 header {* Examples for the 'refute' command *}
 
 theory Refute_Examples
-imports Main
+imports "~~/src/HOL/Library/Refute"
 begin
 
 refute_params [satsolver = "dpll"]
isabelle