--- a/src/HOL/Main.thy Wed Sep 14 22:04:36 2005 +0200 +++ b/src/HOL/Main.thy Wed Sep 14 22:04:37 2005 +0200 @@ -6,7 +6,7 @@ header {* Main HOL *} theory Main - imports Refute Reconstruction +imports Commutative_Ring Refute Reconstruction begin