Cheatsheet for Isabelle/Isar 2021 Download isar-cheetsheet.pdf References prog-prove: Programming and Proving in Isabelle/HOL isar-ref: The Isabelle/Isar Reference Manual