[isabelle] proving finite universe



Does anyone know how I can prove the following:

"not (finite (UNIV::string set))"

I have been unable to find applicable lemmas.

Thanks in advance,
Chris





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.