Isabelle / Proof General Cheat SheetDocumentoIsabelle / Proof General Cheat SheetAdicionado por bizmondo0 notas0% acharam este documento útilSalve Isabelle / Proof General Cheat Sheet para mais tarde