Re: [ProofPower] Z pretty printing issue with strokes in global variable names

2011-07-15 Thread Phil Clayton
On 14/07/11 17:57, Rob Arthan wrote: 2. Decorated global variable name clash When both C and C' are schema references, (C)' is printed as C' which is a different term. In imp064, the problem appears to be in function do_decor. There appear to be two routes to fixing this: A. Print in Spivey-Z

Re: [ProofPower] Z pretty printing issue with strokes in global variable names

2011-07-14 Thread Rob Arthan
Phil, On 12 Jul 2011, at 12:00, Phil Clayton wrote: > I have updated mdt064.doc (attached) to add tests that demonstrate two > printing issues relating to global variable names that contain strokes. Many thanks for those. Good test cases are always appreciated. > > > 1. Generic global variab

[ProofPower] Z pretty printing issue with strokes in global variable names

2011-07-12 Thread Phil Clayton
I have updated mdt064.doc (attached) to add tests that demonstrate two printing issues relating to global variable names that contain strokes. 1. Generic global variables Under certain conditions, strokes in the names of generic global variables (other than %bbU%) are not printed. (In partic