Hi everybody !<br><br>I'm completely new in Isabelle, so sorry if I ask trivial questions.<br>However, I went through the tutorial and could not manage to find the answer for this one.<br><br>Can someone tell we how I can <b>retrieve the lemmas/rules used by <span style="font-family: courier new,monospace;">apply(auto)</span></b> , i.e. what were the steps I should have used if I did not have this auto method ?<br>

Same question for <b>apply(blast)</b><br><br>Thanks !<br clear="all">Mikaël Mayer<br>EPFL Master Student<br>