1.1 --- a/doc-src/IsarRef/isar-ref.tex	Thu Nov 13 21:57:20 2008 +0100
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Thu Nov 13 21:57:50 2008 +0100
     1.3 @@ -7,6 +7,7 @@
     1.4  \usepackage[nohyphen,strings]{../underscore}
     1.5  \usepackage{../isabelle,../isabellesym}
     1.6  \usepackage{../ttbox,,../rail,../railsetup}
     1.7 +\usepackage{supertabular}
     1.8  \usepackage{style}
     1.9  \usepackage{../pdfsetup}
    1.10