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

RE: [PVS-Help] finite sets TCC




    told you about is one of the TCCs generated by lemma le_setC61. I hope =

I cannot find any string "le_set" in your file.

Please provide source code that is readable. 166 chars per line
produces unreadable line wraps.

Bye,

Hendrik