# HG changeset patch
# User huffman
# Date 1234603418 28800
# Node ID 6b9eea61057c253956a5f4ede6764aa349ef892a
# Parent  80369da398386931656fd7d9b136207cb3956328
fix document generation

diff -r 80369da39838 -r 6b9eea61057c src/HOL/Auth/document/root.tex
--- a/src/HOL/Auth/document/root.tex	Fri Feb 13 14:45:10 2009 -0800
+++ b/src/HOL/Auth/document/root.tex	Sat Feb 14 01:23:38 2009 -0800
@@ -1,5 +1,6 @@
 \documentclass[10pt,a4paper,twoside]{article}
 \usepackage{graphicx}
+\usepackage{amssymb}
 \usepackage[latin1]{inputenc}
 \usepackage{latexsym,theorem}
 \usepackage{isabelle,isabellesym}