[isabelle] A question about how to use list theory


Hi Isabelle Community,
I need to use Isabelle's list theory. I have nothing to prove but al lI need is to simplify clauses and/or deduce new clauses.
is it possible?if yes how can I deal with that?
Thank you very much.

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