[ProofPower] A little help

[Philip Clayton]

PSA, HTH!
Phil

Marcel Oliveira wrote:

>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
>==================================
>
>_______________________________________________
>Proofpower mailing list
>Proofpower at lemma-one.com
>http://dropkick.trouble-free.net/mailman/listinfo/proofpower_lemma-one.com
>
>
>  
>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: formarcel20040921.ML.gz
Type: application/x-gzip
Size: 416 bytes
Desc: not available
URL: <http://lemma-one.com/pipermail/proofpower_lemma-one.com/attachments/20040921/fbf2202c/attachment.bin>