Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2003-02-16 21:32:47 -0800 (Sun, 16 Feb 2003)
Revision: 4079
Log message:

      Fixed a bug in a record elimination tactic. Thanks to Xin for noticing this.
      

Changes	Path
+2 -105	metaprl/theories/itt/itt_record.ml