Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-02-03 17:18:47 -0800 (Sat, 03 Feb 2001)
Revision: 3138
Log message:

      The build term is moved from Itt_struct to Itt_equal.
      

Changes  Path
+253 -0 metaprl/theories/czf/czf_itt_nat.ml
+141 -0 metaprl/theories/czf/czf_itt_power.ml