Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-03-31 19:26:46 -0800 (Thu, 31 Mar 2005)
Revision: 7076
Log message:

      Exposed exists_elim in the interface
      

Changes  Path
+3 -0 metaprl/theories/itt/itt_logic.mli