# HG changeset patch
# User clasohm
# Date 800008943 -7200
# Node ID 737a1a0df75479db74416a1660e7a69baab6b462
# Parent  ba34f9764816eb339bcdf8df9c1d27c915d4e1a5
added \CHOL

diff -r ba34f9764816 -r 737a1a0df754 doc-src/iman.sty
--- a/doc-src/iman.sty	Thu May 04 14:57:06 1995 +0200
+++ b/doc-src/iman.sty	Tue May 09 10:42:23 1995 +0200
@@ -108,6 +108,7 @@
 \def\LCF{{\tt LCF}\@}
 \def\FOL{{\tt FOL}\@}
 \def\HOL{{\tt HOL}\@}
+\def\CHOL{{\tt CHOL}\@}
 \def\LK{{\tt LK}\@}
 \def\ZF{{\tt ZF}\@}
 \def\CTT{{\tt CTT}\@}