--- 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