Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-01 23:10:05 -0800 (Tue, 01 Mar 2005)
Revision: 6805
Log message:

      - Itt_set: alpha-renamed the rules to make them better preserve the names of
        the bound variables.
      
      - Replaces all the usages of the ad-hoc Var.maybe_new_var_arg with a more
        correct Var.maybe_new_var_set.
      

Changes  Path
+21 -21 metaprl/support/tactics/top_tacticals.ml
+0 -3 metaprl/support/tactics/var.ml
+0 -1 metaprl/support/tactics/var.mli
+0 -4 metaprl/tactics/proof/sequent_boot.ml
+0 -5 metaprl/tactics/proof/tactic_boot_sig.ml
+31 -35 metaprl/theories/itt/itt_logic.ml
+4 -4 metaprl/theories/itt/itt_set.ml
+26 -24 metaprl/theories/itt/itt_struct2.ml
+1 -3 metaprl/theories/mesa/ma_event__systems.ml