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