doc-src/Intro/list.thy

--- a/doc-src/Intro/list.thy	Mon Aug 27 20:19:09 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,6 +0,0 @@
-List = FOL +
-types   list 1
-arities list    :: (term)term
-consts  Nil     :: "'a list"
-        Cons    :: "['a, 'a list] => 'a list" 
-end