isabelle.tex 3.2 KB