# HG changeset patch
# User oheimb
# Date 877783165 -7200
# Node ID 773f3c0617770408b3967723ba02423ecc7a199e
# Parent  2bbeed529077b965b4e280e8ff3c5e3a9d706515
corrected two comments

diff -r 2bbeed529077 -r 773f3c061777 src/HOLCF/Cfun3.ML
--- a/src/HOLCF/Cfun3.ML	Fri Oct 24 18:10:51 1997 +0200
+++ b/src/HOLCF/Cfun3.ML	Sat Oct 25 14:39:25 1997 +0200
@@ -184,7 +184,7 @@
 
 Addsimps cont_lemmas1;
 
-(* HINT: cont_tac is now installed in simplifier in Lift3.ML ! *)
+(* HINT: cont_tac is now installed in simplifier in Lift.ML ! *)
 
 (*val cont_tac = (fn i => (resolve_tac cont_lemmas i));*)
 (*val cont_tacR = (fn i => (REPEAT (cont_tac i)));*)
@@ -369,7 +369,7 @@
 (* use cont_tac as autotac.                                                *)
 (* ------------------------------------------------------------------------ *)
 
-(* HINT: cont_tac is now installed in simplifier in Lift3.ML ! *)
+(* HINT: cont_tac is now installed in simplifier in Lift.ML ! *)
 (*simpset := !simpset addsolver (K (DEPTH_SOLVE_1 o cont_tac));*)
 
 (* ------------------------------------------------------------------------ *)