
diff -r ee29edc644e8 -r 6630488bbe44 ex/MT.thy
--- a/ex/MT.thy	Mon Aug 22 11:54:23 1994 +0200
+++ b/ex/MT.thy	Mon Aug 22 12:00:02 1994 +0200
@@ -13,7 +13,7 @@
     Report 308, Computer Lab, University of Cambridge (1993).
 *)
 
-MT = Gfp +
+MT = Gfp + Sum + 
 
 types 
   Const




