diff -r a7897aebbffc -r f4745d77e620 src/HOLCF/ex/Fix2.thy
--- 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