Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-25 19:45:40 -0700 (Wed, 25 May 2005)
Revision: 7332
Log message:

      A few fixes in the srec type.
      
        One of the rules was a bit too strong; replaced with a weaker derived rule.
      
        Display forms - minor fix.
      

Changes  Path
+2 -2 metaprl/theories/itt/itt_closure.ml
+1365 -1253 metaprl/theories/itt/itt_closure.prla
+9 -0 metaprl/theories/itt/itt_hoas_operator.ml
+5 -5 metaprl/theories/itt/itt_srec.ml
Added metaprl/theories/itt/itt_srec.prla
Properties metaprl/theories/itt/itt_srec.prla
+1 -1 metaprl/theories/itt/itt_tunion.ml