Subject: my formula again.

From: categories <[email-masked]>
Date: Tue, 1 Jul 1997 15:11:01 -0300 (ADT)

Date: Tue, 1 Jul 1997 11:05:19 +0100 (BST)
From: Paul Taylor <[email-masked]>

Thanks to Pino Rosolini for pointing out a typo in my formula:

        for any function f:Sigma x X -> Sigma    (not -> X)
        and predicate    a:X -> Sigma

        f(a) & a  =  f(true) & a

where the parameter x has been suppressed from the equation
so in full it reads, less clearly
	f(a(x),x) & a(x) = f(true,x) & a(x)
Paul