diff -r f75a01ee6c41 -r 2ef15ec8e7dc doc-src/Codegen/codegen.tex
--- a/doc-src/Codegen/codegen.tex	Fri Sep 24 15:11:38 2010 +0200
+++ b/doc-src/Codegen/codegen.tex	Fri Sep 24 15:53:43 2010 +0200
@@ -2,6 +2,7 @@
 \documentclass[12pt,a4paper,fleqn]{article}
 \usepackage{latexsym,graphicx}
 \usepackage[refpage]{nomencl}
+\usepackage{multirow}
 \usepackage{../iman,../extra,../isar,../proof}
 \usepackage{../isabelle,../isabellesym}
 \usepackage{style}