Changes by: Xin Yu (xiny at cs.caltech.edu)
Date: 2002-11-11 22:59:06 -0800 (Mon, 11 Nov 2002)
Revision: 3928
Log message:

      Fixed a grammar error.
      

Changes  Path
+1 -1 metaprl/theories/itt/itt_logic.ml