[isabelle] Fool Proof



Does anyone (on this list) have a theory for the fool problem:

    How to discern a real fool from someone who does a mistake?

Cheers,
Jens




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