# HG changeset patch
# User sandnerr
# Date 850473980 -3600
# Node ID 2e55b396e24cdd8326c4aab88aae6f9cf2d62a08
# Parent  fc103154ad8fce3876d2b287892d62416322d7c3
ex/Hoare.thy

diff -r fc103154ad8f -r 2e55b396e24c src/HOLCF/ex/Hoare.thy
--- 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"