[ProofPower] A little help

[Marcel Oliveira]

For b1, b1' b2 partial functions... what to do if I have in the assumtpions:

(n , b1' n) \in b2 
and 
b2 n = b1 n'

and I want to prove that

b1' n = b1 n' ?

==================================
Marcel Oliveira
PhD Student - Formal Methods
Computing Laboratory
University of Kent
Canterbury, Kent, UK  CT2 7NF
Tel: 44 (0)1227 823192
E-Mail: mvmo2 at kent.ac.uk
URL: http://www.cs.kent.ac.uk/~mvmo2
==================================