Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-22 01:24:01 -0800 (Mon, 22 Mar 2004)
Revision: 5515
Log message:

      Removing a redundant entry from autoT.
      

Changes  Path
+0 -11 metaprl/theories/itt/itt_logic.ml