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.
fixed dependencies
authorchaieb
Wed, 27 Feb 2008 14:39:56 +0100
changeset 26160 ff5bb2b532b3
parent 26159 ff372ff5cc34
child 26161 34cb0b457dcc
fixed dependencies
src/HOL/ex/Dense_Linear_Order_Ex.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/Dense_Linear_Order_Ex.thy	Wed Feb 27 14:39:54 2008 +0100
+++ b/src/HOL/ex/Dense_Linear_Order_Ex.thy	Wed Feb 27 14:39:56 2008 +0100
@@ -6,7 +6,7 @@
 header {* Examples for Ferrante and Rackoff's quantifier elimination procedure *}
 
 theory Dense_Linear_Order_Ex
-imports Main
+imports Dense_Linear_Order Main
 begin
 
 lemma
isabelle