/Common.cs/1.5/Sun Mar  9 15:42:34 2003//
/Reduction.cs/1.4/Sun Mar  9 15:42:34 2003//
/Translation.cs/1.4/Sun Mar  9 15:42:34 2003//
D
