src/HOL/IMP/document/root.tex

--- a/src/HOL/IMP/document/root.tex	Fri Oct 21 17:39:07 2011 +0200
+++ b/src/HOL/IMP/document/root.tex	Sat Oct 22 20:17:50 2011 +0200
@@ -29,6 +29,8 @@
 % this should be the last package used
 \usepackage{pdfsetup}
 
+\usepackage{isaverbatimwrite}
+
 % urls in roman style, theory text in math-similar italics
 \urlstyle{rm}
 \isabellestyle{it}
@@ -46,6 +48,7 @@
 
 
 \begin{document}
+\openisaverbatimout fragments
 
 \title{Concrete Semantics}
 \author{TN \& GK}