=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/tower.sm1,v retrieving revision 1.1 retrieving revision 1.2 diff -u -p -r1.1 -r1.2 --- OpenXM/src/kan96xx/Doc/tower.sm1 1999/10/08 02:12:02 1.1 +++ OpenXM/src/kan96xx/Doc/tower.sm1 2000/04/19 08:01:32 1.2 @@ -1,3 +1,4 @@ +%% $OpenXM$ %% It is used to check the mmLarger_tower, 1997, 10/26 at Heidelberg. %% It is used to check the mmLarger_tower, 1997, 10/27 -- 29 at Oberwolfach. %% 1997, 11/7 s_ring_of_differential_operators at Kobe