--- a/src/HOLCF/domain/library.ML Thu Mar 31 00:10:35 2005 +0200
+++ b/src/HOLCF/domain/library.ML Thu Mar 31 02:44:46 2005 +0200
@@ -160,7 +160,7 @@
fun cproj x = prj (fn S => K(%%:"cfst"`S)) (fn S => K(%%:"csnd"`S)) x;
fun prj' _ _ x ( _::[]) _ = x
| prj' f1 _ x (_:: ys) 0 = f1 x (foldr' mk_prodT ys)
-| prj' f1 f2 x (y:: ys) j = prj f1 f2 (f2 x y) ys (j-1);
+| prj' f1 f2 x (y:: ys) j = prj' f1 f2 (f2 x y) ys (j-1);
fun cproj' T eqs = prj'
(fn S => fn t => Const("cfst",mk_prodT(dummyT,t)->>dummyT)`S)
(fn S => fn t => Const("csnd",mk_prodT(t,dummyT)->>dummyT)`S)