===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/cmo-basic1.tex,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -p -r1.7 -r1.8
--- OpenXM/doc/OpenXM-specs/cmo-basic1.tex	2000/01/24 12:32:49	1.7
+++ OpenXM/doc/OpenXM-specs/cmo-basic1.tex	2000/02/28 14:10:27	1.8
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/doc/OpenXM-specs/cmo-basic1.tex,v 1.6 2000/01/24 07:49:58 noro Exp $
+%% $OpenXM: OpenXM/doc/OpenXM-specs/cmo-basic1.tex,v 1.7 2000/01/24 12:32:49 noro Exp $
 //&jp \section{ 数, 多項式 の  CMO 表現 }
 //&eg \section{ CMOexpressions for numbers and polynomials }
 \label{sec:basic1}
@@ -224,7 +224,7 @@ It is the same as the Lambda expression in Lisp.
 Example:
 \begin{verbatim}
 sm1> [(plus) (Basic) [(123).. (345)..]] [(class) (tree)] dc ::
-Class.tree [    $plus$ , $Basic$ , [    123 , 345 ]  ] 
+Class.tree [    $plus$ , $basic$ , [    123 , 345 ]  ] 
 \end{verbatim}