isabelle.tex 2.04 KB