/Common.cs/1.5/Fri Aug  9 02:35:53 2002//
/Reduction.cs/1.4/Mon Jul 22 21:06:28 2002//
/Translation.cs/1.4/Mon Jul 22 21:06:28 2002//
D
