--- a/src/HOLCF/Tr.thy Sun May 25 16:59:40 1997 +0200
+++ b/src/HOLCF/Tr.thy Sun May 25 18:45:25 1997 +0200
@@ -6,7 +6,7 @@
Introduce infix if_then_else_fi and boolean connectives andalso, orelse
*)
-Tr = Lift +
+Tr = Lift + Fix +
types
tr = "bool lift"