Hi everybody ! I'm completely new in Isabelle, so sorry if I ask trivial questions. However, I went through the tutorial and could not manage to find the answer for this one.
Can someone tell we how I can *retrieve the lemmas/rules used by apply(auto) * , i.e. what were the steps I should have used if I did not have this auto method ? Same question for *apply(blast)* Thanks ! Mika?l Mayer EPFL Master Student -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20090930/3cdf8d16/attachment.htm>
