[ProofPower] z_output_theory questions

[Rob Arthan]

On Friday 10 Sep 2004 7:57 pm, Roger Bishop Jones wrote:
> On Friday 10 September 2004  5:04 am, Stephen Brackin wrote:
> > I have a fairly small theory, but with all the type
> > information its listing is over 100 pages long.

As an alternative to some of Roger's suggestions, the Z theory lister 
implementation (see imp065.doc) is very short and table-driven and it would 
be the work of moments to create a customised variant of it that left the 
offending section out. Perhaps I should add in some control over which 
sections to print in a future release.

Regards,

Rob.