Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-29 22:20:02 -0700 (Tue, 29 Jul 2003)
Revision: 4788
Log message:

      I am getting really close on the branch - 1419 out of 1448 proofs
      currently expand correctly.
      

Changes	Path
+22 -2	metaprl-branches/bound_contexts2/filter/boot/proof_boot.ml
+37 -37	metaprl-branches/bound_contexts2/refiner/reflib/jall.ml
+1 -0	metaprl-branches/bound_contexts2/refiner/refsig/term_meta_sig.ml
+2 -1	metaprl-branches/bound_contexts2/refiner/term_ds/term_base_ds.ml
+34 -24	metaprl-branches/bound_contexts2/refiner/term_gen/term_meta_gen.ml
+1 -1	metaprl-branches/bound_contexts2/support/shell/shell_state.ml
+35 -28	metaprl-branches/bound_contexts2/theories/itt/itt_logic.ml