[isabelle] Designing Truth Tables in Isabelle




Hello,

Is there a way to design truth tables in Isabelle?


CL





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