src/HOL/Lambda/document/root.tex

--- a/src/HOL/Lambda/document/root.tex	Fri Oct 26 14:02:58 2001 +0200
+++ b/src/HOL/Lambda/document/root.tex	Fri Oct 26 14:22:33 2001 +0200
@@ -5,10 +5,12 @@
 \usepackage{graphicx}
 \usepackage[english]{babel}
 \usepackage[latin1]{inputenc}
+\usepackage{amssymb}
 \usepackage{isabelle,isabellesym,pdfsetup}
 
 \isabellestyle{it}
 \renewcommand{\isamarkupsubsubsection}[1]{\subsubsection*{#1}}
+\newcommand{\isasymRrightarrow}{\isamath{\Rrightarrow}}
 
 \begin{document}