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

Re: What's the context for TCC proofs?



Mark,

Could you provide the theories involved?  I think I know what is going on
here, but I'd like to be sure before I try to answer this.

Thanks,

Sam Owre