Changes by: Stephan Schmitt (sschmitt at sapient.com)
Date: 2000-03-13 15:03:12 -0800 (Mon, 13 Mar 2000)
Revision: 2921
Log message:

      
       ----------------------------------------------------------------------
       Enter Log.  Lines beginning with `CVS:' are removed automatically
      
       Committing in .
      
       Modified Files:
        itt_logic.ml itt_logic.mli
       ----------------------------------------------------------------------
      

Changes	Path
+3 -4	metaprl/theories/itt/itt_logic.ml
+4 -6	metaprl/theories/itt/itt_logic.mli