src/HOLCF/Fix.ML

--- a/src/HOLCF/Fix.ML	Mon Jun 22 17:12:27 1998 +0200
+++ b/src/HOLCF/Fix.ML	Mon Jun 22 17:13:09 1998 +0200
@@ -884,7 +884,7 @@
         (Simp_tac 1)
         ]);
 
-goal Fix.thy "!! P. [| adm (%x. P x --> Q x); adm (%x. Q x --> P x) |] \
+Goal "!! P. [| adm (%x. P x --> Q x); adm (%x. Q x --> P x) |] \
 \           ==> adm (%x. P x = Q x)";
 by (subgoal_tac "(%x. P x = Q x) = (%x. (P x --> Q x) & (Q x --> P x))" 1);
 by (Asm_simp_tac 1);