src/HOL/PreList.thy

--- a/src/HOL/PreList.thy	Tue Aug 17 11:00:24 2004 +0200
+++ b/src/HOL/PreList.thy	Wed Aug 18 11:09:40 2004 +0200
@@ -7,7 +7,7 @@
 header{*A Basis for Building the Theory of Lists*}
 
 theory PreList
-import Wellfounded_Relations Presburger Recdef Relation_Power Parity
+imports Wellfounded_Relations Presburger Recdef Relation_Power Parity
 begin
 
 text {*