[ProofPower] Re: z_output_theory questions

[Stephen Brackin]

> 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.

Is there some way of getting it to give the types of constants when they're
declared, but otherwise give the constants without type information?  It's
the type information, repeated over and over again, that makes things so
long.

Steve

Stephen Brackin
Senior Security Analyst
CygnaCom Solutions, Inc.
an Entrust company
Phone: 607-277-8211 Fax:  607-277-8211
http://www.cygnacom.com

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lemma-one.com/pipermail/proofpower_lemma-one.com/attachments/20040922/b70c9433/attachment.htm>