===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v
retrieving revision 1.25
retrieving revision 1.26
diff -u -p -r1.25 -r1.26
--- OpenXM/src/asir-doc/exp/exp-ja.texi	2008/01/26 00:59:47	1.25
+++ OpenXM/src/asir-doc/exp/exp-ja.texi	2008/01/29 05:42:05	1.26
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.24 2007/08/09 04:46:44 takayama Exp $
+%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.25 2008/01/26 00:59:47 takayama Exp $
 \input texinfo
 @iftex
 @catcode`@#=6
@@ -142,7 +142,7 @@ ChangeLog の項目は www.openxm.org の cvswe
 * qt_rewrite:: 
 * asirgui.hnd::
 * noro_matrix.rr:
-* fres::
+* f_res::
 
 @end menu
 
@@ -2321,18 +2321,18 @@ ChangeLog
 @end itemize
 
 
-@node fres,,, 実験的仕様の関数
-@subsection @code{fres}
-@findex fres
+@node f_res,,, 実験的仕様の関数
+@subsection @code{f_res}
+@findex f_res
 
 @comment --- 関数の簡単な説明 ---
 @table @t
-@item fres
+@item f_res
 @end table
 
 
 @itemize @bullet
-@item fres は各種の終結式を計算するモジュールである. ox_grep("fres"); で online manual を閲覧可能である.
+@item f_res は各種の終結式を計算するモジュールである. ox_grep("f_res"); で online manual を閲覧可能である.
 @end itemize
 
 @table @t
@@ -2346,7 +2346,7 @@ ChangeLog
 ChangeLog
 @itemize @bullet
 @item このモジュールは Fujiwara 君の修士論文が元になり, それを改造したものである.
-@item OpenXM/src/ox_fres
+@item OpenXM/src/ox_cdd, OpenXM/src/asir-contrib/packages/src/f_res.rr
 @end itemize