diff -r b93cc55cb7ab -r df6b3bd14dcb ex/Simult.thy
--- a/ex/Simult.thy	Fri Dec 02 11:43:20 1994 +0100
+++ b/ex/Simult.thy	Fri Dec 02 16:09:49 1994 +0100
@@ -13,7 +13,7 @@
 recursive data structure because it uses Inl, Inr instead of In0, In1.
 *)
 
-Simult = List +
+Simult = SList +
 
 types    'a tree
          'a forest