Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2001-06-29 17:45:30 -0700 (Fri, 29 Jun 2001)
Revision: 3303
Log message:

      Simplify primitive rules and improve tactics for elimination of intersection types.
      

Changes	Path
+3 -0	metaprl/refiner/refsig/term_op_sig.ml
+16 -0	metaprl/refiner/term_ds/term_op_ds.ml
+14 -0	metaprl/refiner/term_std/term_op_std.ml
+63 -15	metaprl/theories/itt/itt_bisect.ml
+2891 -2164	metaprl/theories/itt/itt_bisect.prla
+66 -11	metaprl/theories/itt/itt_disect.ml
+4 -3	metaprl/theories/itt/itt_disect.mli
+4784 -2654	metaprl/theories/itt/itt_disect.prla
+44 -7	metaprl/theories/itt/itt_isect.ml
+0 -10	metaprl/theories/itt/itt_isect.mli
+4562 -4445	metaprl/theories/itt/itt_isect.prla
+3 -1	metaprl/theories/tactic/perv.ml
+7 -0	metaprl/theories/tactic/perv.mli