../../lib/texinputs/isabelle.sty