Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2002-05-17 10:36:48 -0700 (Fri, 17 May 2002)
Revision: 3660
Log message:

      Added a Boolean flag to create_iform to control the use of
      Strict or Relaxed.
      

Changes  Path
+2 -2 metaprl/filter/boot/rewrite_boot.ml
+2 -2 metaprl/filter/boot/tactic_boot_sig.mlz
+3 -2 metaprl/refiner/refiner/refine.ml
+1 -0 metaprl/refiner/refsig/refine_sig.ml
+2 -1 metaprl/theories/itt/Makefile
Added metaprl/theories/itt/itt_example.ml
Properties metaprl/theories/itt/itt_example.ml
Added metaprl/theories/itt/itt_example.mli
Properties metaprl/theories/itt/itt_example.mli
+1 -1 metaprl/theories/mc/mp_mc_fir_phobos.ml
+1 -1 metaprl/theories/tactic/top_conversionals.mli