===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/restall.sm1,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/src/kan96xx/Doc/restall.sm1	2004/05/13 05:33:10	1.2
+++ OpenXM/src/kan96xx/Doc/restall.sm1	2004/09/10 13:20:22	1.3
@@ -209,9 +209,9 @@ def
     BFs_weight weight_vector 
   0] define_ring  /BFring set
 
-  /bfh  (h) BFring ,, def
-  /bfs  BFs BFring ,, def
-  /bf1  (1) BFring ,, def
+  /bfh  (h) BFring __ def
+  /bfs  BFs BFring __ def
+  /bf1  (1) BFring __ def
   ff { bftt fwm_homogenize } map /ff set
   ff {expand} map /ff set
   ff {[[bfh bf1]] replace} map {homogenize} map /ff set