[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.