===================================================================
RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/ns_twistedlog/ns_twistedlog-ja.texi,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/src/asir-contrib/packages/doc/ns_twistedlog/ns_twistedlog-ja.texi	2012/02/18 05:48:52	1.2
+++ OpenXM/src/asir-contrib/packages/doc/ns_twistedlog/ns_twistedlog-ja.texi	2012/02/19 03:46:13	1.3
@@ -235,7 +235,7 @@ generic bfct : [[-1,1],[s,1],[s+a+b+c-1,1]]
 S0 : 0
 B_{S0} length : 1
 dimension : 1
-[[1],[a+b+c-1,a,b]]
+[Basis,[1],Not integer,[a,b,c],Not non-negative integer,[-a-b-c+1],Not zero,[a,b]]
 @end example