# HG changeset patch
# User sandnerr
# Date 850474886 -3600
# Node ID 90280b3a538b6806b372fe8197b508de40085c45
# Parent  2e55b396e24cdd8326c4aab88aae6f9cf2d62a08
Dummy change to document the change in revision 1.5:

Parent theory changed to HOLCF.thy (former Tr2.thy) .

Was necessary because the use of HOLCF_ss in Hoare.ML,
which has been extended by the introduction of the
Lift theories.

diff -r 2e55b396e24c -r 90280b3a538b src/HOLCF/ex/Hoare.thy
--- a/src/HOLCF/ex/Hoare.thy	Fri Dec 13 11:46:20 1996 +0100
+++ b/src/HOLCF/ex/Hoare.thy	Fri Dec 13 12:01:26 1996 +0100
@@ -21,7 +21,7 @@
 
 *)
 
-Hoare = HOLCF +
+Hoare = HOLCF + 
 
 consts
         b1:: "'a -> tr"