===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v
retrieving revision 1.52
retrieving revision 1.53
diff -u -p -r1.52 -r1.53
--- OpenXM/src/asir-doc/exp/exp-ja.texi	2016/05/18 11:52:56	1.52
+++ OpenXM/src/asir-doc/exp/exp-ja.texi	2016/06/01 06:33:17	1.53
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.51 2016/05/14 07:55:16 nakayama Exp $
+%% $OpenXM$
 \input texinfo
 @iftex
 @catcode`@#=6
@@ -3344,6 +3344,7 @@ B_{S0} length : 1
 [[(en-2)*n+en-2],[[[[ek-1,[(-en+1)*n-en+1,1]]],1]]]
 @end example
 
+@node nk_restriction.module_restriction,,, D 加群の制限に関する関数
 @subsection @code{nk_restriction.module_restriction}
 @comment --- 索引用キーワード
 @findex nk_restriction.module_restriction
@@ -3418,6 +3419,7 @@ Relations: 
 @end ifinfo
 で生成されることがわかる. 
 
+@node nk_restriction.module_integration,,, D 加群の制限に関する関数
 @subsection @code{nk_restriction.module_integration}
 @comment --- 索引用キーワード
 @findex nk_restriction.module_integration