diff -r 9e9feb5f15dc -r 30e80f028c57 ex/Simult.thy
--- a/ex/Simult.thy	Tue May 03 11:30:09 1994 +0200
+++ b/ex/Simult.thy	Tue May 03 15:48:19 1994 +0200
@@ -12,8 +12,12 @@
 *)
 
 Simult = List +
-types tree,forest 1
-arities tree,forest :: (term)term
+
+types    'a tree
+         'a forest
+
+arities  tree,forest :: (term)term
+
 consts
   Part        :: "['a set, 'a=>'a] => 'a set"
   TF          :: "'a node set set => 'a node set set"