Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2004-12-06 17:43:13 -0800 (Mon, 06 Dec 2004)
Revision: 6335
Log message:

      Fixed /itt_record0/recordTIntro1
      

Changes	Path
+2488 -3708	metaprl/theories/itt/itt_record0.prla