[isabelle-dev] Occur-Check Problem in Isabelle

Alexander Krauss krauss at in.tum.de
Sat Jul 16 20:20:35 CEST 2011


[...]
> Can you tell me how
> I should do in the proof of the lemma continues to Isabelle runs through
> here?

It was already pointed out that such questions are off-topic for this 
list. Please repost to isabelle-users at cl.cam.ac.uk !

Alex



More information about the isabelle-dev mailing list