Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] A question about how to use list theory

Email Gateway (Aug 18 2022 at 16:32):

From: olfa mraihi <olfa.mraihi@yahoo.fr>
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.

Last updated: Nov 21 2024 at 12:39 UTC