Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-23 23:02:49 -0800 (Tue, 23 Dec 2003)
Revision: 5214
Log message:

      Tryied new auto suffixes.
      

Changes  Path
+7106 -1814 metaprl/theories/itt/itt_field.prla