[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: ? about the quant rule

   You should use (APPLY-EXTENSIONALITY) rather than the
EXTENSIONALITY lemma.  Then use (GRIND) or


NOTE. <TAB> E will save you some typing.

I don't know why your QUANT command failed.   I think that most people use
INST rather than QUANT now. 

Rick Butler