src/HOLCF/document/root.tex

--- a/src/HOLCF/document/root.tex	Wed Nov 30 00:59:04 2005 +0100
+++ b/src/HOLCF/document/root.tex	Wed Nov 30 01:01:15 2005 +0100
@@ -10,6 +10,8 @@
 \urlstyle{rm}
 \isabellestyle{it}
 \pagestyle{myheadings}
+\newcommand{\isasymas}{\textsf{as}}
+\newcommand{\isasymlazy}{\isamath{\sim}}
 
 \begin{document}