| changeset 28773 | 39b4cedb8433 |
| parent 28762 | f5d79aeffd81 |
| child 28838 | d5db6dfcb34a |
--- a/doc-src/IsarRef/isar-ref.tex Thu Nov 13 21:57:20 2008 +0100 +++ b/doc-src/IsarRef/isar-ref.tex Thu Nov 13 21:57:50 2008 +0100 @@ -7,6 +7,7 @@ \usepackage[nohyphen,strings]{../underscore} \usepackage{../isabelle,../isabellesym} \usepackage{../ttbox,,../rail,../railsetup} +\usepackage{supertabular} \usepackage{style} \usepackage{../pdfsetup}