Isabelle Proof General Cheat Sheet Applying rules and theorems apply (rule theorem): use when the conclusion of theorem matches the conclusion of the current goal apply (erule theorem): use when the conclusion of theo - Conclusion - Document - PDFSEARCH.IO

First Page	Meta Content
	Isabelle / Proof General Cheat Sheet Applying rules and theorems apply (rule theorem): use when the conclusion of theorem matches the conclusion of the current goal apply (erule theorem): use when the conclusion of theo Add to Reading List Document Date: 2014-01-17 11:57:48 Open Document File Size: 60,39 KB Share Result on Facebook

Isabelle / Proof General Cheat Sheet Applying rules and theorems apply (rule theorem): use when the conclusion of theorem matches the conclusion of the current goal apply (erule theorem): use when the conclusion of theoAdd to Reading List