--- a/src/HOLCF/ex/Fix2.thy Tue Jan 09 15:32:27 2001 +0100
+++ b/src/HOLCF/ex/Fix2.thy Tue Jan 09 15:36:30 2001 +0100
@@ -16,7 +16,7 @@
rules
-gix1_def "F`(gix`F) = gix`F"
-gix2_def "F`y=y ==> gix`F << y"
+gix1_def "F$(gix$F) = gix$F"
+gix2_def "F$y=y ==> gix$F << y"
end