[ProofPower] Re: Type-check bug? -- final character

[Stephen Brackin]

Oops.  Because of an editing error, I left off the final character -- but
only the final character -- of the problem example.  It should have been the
following:

new_theory "test";
set_flag ("z_type_check_only", false);
%SZS% S1 [TV1, TV2] %BH%%BH%%BH%%BH%%BH%%BH%%BH%%BH%%BH%%BH%%BH%
%BV% x1: TV1;
%BV% x2: %bbP% TV2
^
%SZS% S2 [TV1, TV2] %BH%%BH%%BH%%BH%%BH%%BH%%BH%%BH%%BH%%BH%%BH%
%BV% x3: %bbP% S1
^
%SZS% S3 [TV1, TV2] %BH%%BH%%BH%%BH%%BH%%BH%%BH%%BH%%BH%%BH%%BH%
%BV% x4: %bbP% S2
^

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