[ProofPower] Re: ".doc" version of Z Reference Manual

[Stephen Brackin]

Roger Jones said:

> I don't know what you are trying to do but if I wanted
> for example to know what the reference manual has to
> say about some special character I would look up that
> character in the KWIC index.

Am I correct in gathering that "KWIC" abbreviates "keyword in context" and
that this index is also called the "KEYWORD INDEX"?

I'm trying to prove something about a function that I defined in terms of
the %fcompose% symbol, so I wanted to know all the theorems and conversions
that Lemma1 provides involving this symbol.  I found some references to this
symbol in the keyword index, but hoped there were more.  I looked at the
source, found usr30.doc, and found that it is mostly "include" commands that
include .tex files.  These .tex files came from .doc files, didn't they?  If
so, would Lemma1 be willing to provide the .doc files for the purpose of
helping people make searches involving extended characters?

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/20040913/dc71630f/attachment.htm>