Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-12-31 14:41:33 -0800 (Fri, 31 Dec 2004)
Revision: 6374
Log message:

      Reverting an accidental commut.
      

Changes  Path
+0 -0 metaprl/theories/itt/itt_atom.mli