Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-03-30 02:38:52 -0800 (Thu, 30 Mar 2006)
Revision: 8967
Log message:

      Small optimization.
      

Changes  Path
+4 -3 metaprl/support/tactics/top_conversionals.ml
+10 -7 metaprl/theories/itt/reflection/experimental/itt_hoas_bterm_wf.ml
+11 -17 metaprl/theories/itt/reflection/experimental/itt_hoas_sequent_term_wf.ml