1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/Intro/list.thy	Wed Nov 10 05:06:55 1993 +0100
     1.3 @@ -0,0 +1,6 @@
     1.4 +List = FOL +
     1.5 +types 	list 1
     1.6 +arities list	:: (term)term
     1.7 +consts	Nil	:: "'a list"
     1.8 +   	Cons	:: "['a, 'a list] => 'a list" 
     1.9 +end