src/HOL/PreList.thy

--- a/src/HOL/PreList.thy	Tue Sep 20 13:58:58 2005 +0200
+++ b/src/HOL/PreList.thy	Tue Sep 20 14:03:37 2005 +0200
@@ -7,7 +7,7 @@
 header{*A Basis for Building the Theory of Lists*}
 
 theory PreList
-imports Wellfounded_Relations Presburger Relation_Power GCD
+imports Wellfounded_Relations Presburger Relation_Power Binomial
 begin
 
 text {*