src/HOL/Library/Commutative_Ring.thy

--- a/src/HOL/Library/Commutative_Ring.thy	Mon Mar 23 08:14:23 2009 +0100
+++ b/src/HOL/Library/Commutative_Ring.thy	Mon Mar 23 08:14:24 2009 +0100
@@ -6,7 +6,7 @@
 header {* Proving equalities in commutative rings *}
 
 theory Commutative_Ring
-imports Plain "~~/src/HOL/List" "~~/src/HOL/Parity"
+imports List Parity Main
 uses ("comm_ring.ML")
 begin