===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/formal-expression.tex,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/doc/OpenXM-specs/formal-expression.tex	2000/01/20 08:52:46	1.1
+++ OpenXM/doc/OpenXM-specs/formal-expression.tex	2000/01/23 05:28:33	1.2
@@ -1,4 +1,4 @@
-%% $OpenXM$
+%% $OpenXM: OpenXM/doc/OpenXM-specs/formal-expression.tex,v 1.1.1.1 2000/01/20 08:52:46 noro Exp $
 //&jp \section{ CMO の形式的表現方法 }
 //&eg \section{ A formal expression of CMO }
 
@@ -60,13 +60,11 @@ By using this notation, CMOexpression is defined as fo
 列である.
 終端記号 {\tt string} は''文字''の列である.
 終端記号 {\tt byte} は 8 bit データを表す, 10 進または 16 進の数字の列である.
-
 */
-/*&jp
+/*&eg
 Terminal {\tt int32} is signed 32 bit integer. 
 Terminal {\tt string} is a byte array which usually expresses a string.
 Terminal {\tt byte} is 8 bit data.
-
 */
 
 /*&jp
@@ -117,9 +115,6 @@ CMObject の 
 は, 
 32 bit integer $n$ を表現しているんだということが, 1 行でわかる.
 */
-/*&eg
-(This part has not yet been translated.)
-*/
 /*&jp
 この記法を用いて, 前節で導入した, Basic0 の CMObject を
 形式的に定義しよう.
@@ -179,7 +174,6 @@ $\in$ CMObject/Basic0''
 Datum, Cstring なるクラスの object が属することを示す.
 */
 /*&eg
-また, 
 ``Group CMObject/Basic0  requires nothing''
 means that there is no super group to define CMO's in the group Basic0.
 ``Error2, Null, Integer32, Datum, Cstring, Mathcap, List