Re: [ProofPower] Proving properties of Z types.

:47:55 Frank Zeyda wrote: Dear ProofPower Users, I have a little observation which I would like to confirm. The problem is as follows. I defined a new Z type NAME by [NAME] and then introduced a set ALPHABET to refer to the subsets of NAME by ALPHABET == P NAME It seems odd

[ProofPower] A question about customisation of pretty printing.

be the key to solving the problem. Many thanks as usual, Frank -- Frank Zeyda, Dipl.-Inform. BSc PhD Research Associate High Integrity Systems Engineering Group Department of Computer Science University of York (UK) Email: ze...@cs.york.ac.uk Phone: 0044-(0)1904-433244 WWW: http://www