doc-src/IsarRef/isar-ref.tex

 \usepackage{latexsym}
 \usepackage{graphicx}
 \let\intorig=\int  %iman.sty redefines \int
 \usepackage{../iman,../extra,../isar,../proof}
 \usepackage[nohyphen,strings]{../underscore}
-\usepackage{../isabelle,../isabellesym}
+\usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
 \usepackage{../ttbox,,../rail,../railsetup}
 \usepackage{supertabular}
 \usepackage{style}
 \usepackage{../pdfsetup}