src/HOL/PreList.thy

--- a/src/HOL/PreList.thy	Wed Nov 08 22:24:54 2006 +0100
+++ b/src/HOL/PreList.thy	Wed Nov 08 23:11:13 2006 +0100
@@ -7,7 +7,7 @@
 header {* A Basis for Building the Theory of Lists *}
 
 theory PreList
-imports Wellfounded_Relations Presburger Relation_Power Binomial
+imports Wellfounded_Relations Presburger Relation_Power
 begin
 
 text {*