--- a/doc-src/Intro/list.thy	Sat Oct 17 01:05:59 2009 +0200
+++ b/doc-src/Intro/list.thy	Sat Oct 17 14:43:18 2009 +0200
@@ -1,6 +1,6 @@
 List = FOL +
-types 	list 1
-arities list	:: (term)term
-consts	Nil	:: "'a list"
-   	Cons	:: "['a, 'a list] => 'a list" 
+types   list 1
+arities list    :: (term)term
+consts  Nil     :: "'a list"
+        Cons    :: "['a, 'a list] => 'a list" 
 end