Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/ex/Hoare.thy
changeset 2379 2e55b396e24c
parent 1479 21eb5e156d91
child 2380 90280b3a538b 
--- a/src/HOLCF/ex/Hoare.thy	Fri Dec 13 11:00:44 1996 +0100
+++ b/src/HOLCF/ex/Hoare.thy	Fri Dec 13 11:46:20 1996 +0100
@@ -21,7 +21,7 @@
 
 *)
 
-Hoare = Tr2 +
+Hoare = HOLCF +
 
 consts
         b1:: "'a -> tr"
isabelle