doc-src/Main/main.tex

--- a/doc-src/Main/main.tex	Sun May 01 00:01:59 2011 +0200
+++ b/doc-src/Main/main.tex	Sun May 01 16:36:34 2011 +0200
@@ -8,7 +8,7 @@
 \headsep=0mm
 \textheight=234mm
 
-\usepackage{../isabelle,../isabellesym}
+\usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
 \usepackage{amssymb}
 \usepackage[only,bigsqcap]{stmaryrd}