===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/type.texi,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -p -r1.6 -r1.7
--- OpenXM/src/asir-doc/parts/type.texi	2000/09/23 07:53:25	1.6
+++ OpenXM/src/asir-doc/parts/type.texi	2000/11/13 00:16:35	1.7
@@ -1,4 +1,4 @@
-@comment $OpenXM: OpenXM/src/asir-doc/parts/type.texi,v 1.5 2000/01/26 01:37:33 noro Exp $
+@comment $OpenXM: OpenXM/src/asir-doc/parts/type.texi,v 1.6 2000/09/23 07:53:25 noro Exp $
 \BJP
 @node 型,,, Top
 @chapter 型
@@ -354,6 +354,16 @@ This is used for basis conversion in finite fields of 
 @*
 \JP quantifier elimination で用いられる一階述語論理式. 
 \EG This expresses a first order formula used in quantifier elimination.
+
+@item 15 @b{matrix over GF(p)}
+@*
+\JP 小標数有限体上の行列.
+\EG A matrix over a small finite field.
+
+@item 16 @b{byte array}
+@*
+\JP 符号なし byte の配列
+\EG An array of unsigned bytes.
 
 \JP @item -1 @b{VOID オブジェクト}
 \EG @item -1 @b{VOID object}