Mercurial Mercurial > repos > Old_HOL / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
HOL/ex/MT.thy: now mentions dependence upon Sum.thy
authorlcp
Mon, 22 Aug 1994 12:00:02 +0200
changeset 125 6630488bbe44
parent 124 ee29edc644e8
child 126 872f866e630f
HOL/ex/MT.thy: now mentions dependence upon Sum.thy
ex/MT.thy file | annotate | diff | comparison | revisions 
--- 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
Old_HOL