Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2005-03-01 09:14:48 -0800 (Tue, 01 Mar 2005)
Revision: 6786
Log message:

      Fixed some comments
      

Changes	Path
+1 -6	metaprl/theories/itt/itt_functions.ml