src/ZF/List.thy

--- a/src/ZF/List.thy	Thu Jul 18 15:21:42 2002 +0200
+++ b/src/ZF/List.thy	Fri Jul 19 13:28:19 2002 +0200
@@ -28,14 +28,15 @@
 
 consts
   length :: "i=>i"
-  hd      :: "i=>i"
-  tl      :: "i=>i"
+  hd     :: "i=>i"
+  tl     :: "i=>i"
 
 primrec
   "length([]) = 0"
   "length(Cons(a,l)) = succ(length(l))"
 
 primrec
+  "hd([]) = 0"
   "hd(Cons(a,l)) = a"
 
 primrec