
diff -r 5226396bf261 -r 8f8d83af100a src/HOL/Library/Boolean_Algebra.thy
--- a/src/HOL/Library/Boolean_Algebra.thy	Tue Dec 18 12:26:24 2007 +0100
+++ b/src/HOL/Library/Boolean_Algebra.thy	Tue Dec 18 14:37:00 2007 +0100
@@ -8,7 +8,7 @@
 header {* Boolean Algebras *}
 
 theory Boolean_Algebra
-imports PreList
+imports ATP_Linkup
 begin
 
 locale boolean =




