Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-07-08 08:42:11 -0700 (Wed, 08 Jul 1998)
Revision: 2314
Log message:

      Pushed higherC into the refiner for efficiency.
      

Changes	Path
Properties	metaprl/doc
Added	metaprl/doc/status.tex
Properties	metaprl/doc/status.tex
+5 -2	metaprl/editor/emacs/caml.el
Added	metaprl/editor/fonts/nl12-bold.bdf
Properties	metaprl/editor/fonts/nl12-bold.bdf
Added	metaprl/editor/fonts/nl12.bdf
Properties	metaprl/editor/fonts/nl12.bdf
+1 -1	metaprl/editor/ml/shell_rewrite.ml
+6 -4	metaprl/editor/ml/y.ml
+3 -0	metaprl/filter/filter_parse.ml
+35 -89	metaprl/filter/filter_prog.ml
+5 -1	metaprl/mk/config
+59 -6	metaprl/refiner/refiner/refine.mlp
+1 -1	metaprl/refiner/refiner/refiner.ml
+132 -45	metaprl/refiner/refiner/rewrite.mlp
+1 -1	metaprl/refiner/reflib/term_table.ml
+8 -0	metaprl/refiner/refsig/refine_sig.ml
+2 -0	metaprl/refiner/refsig/term_addr_sig.ml
+61 -23	metaprl/refiner/term_gen/term_addr_gen.mlp
+4 -2	metaprl/theories/czf/Makefile
+7 -0	metaprl/theories/czf/czf_itt_and.mli
Added	metaprl/theories/czf/czf_itt_empty.ml
Properties	metaprl/theories/czf/czf_itt_empty.ml
Added	metaprl/theories/czf/czf_itt_empty.mli
Properties	metaprl/theories/czf/czf_itt_empty.mli
+22 -10	metaprl/theories/czf/czf_itt_false.ml
+7 -2	metaprl/theories/czf/czf_itt_false.mli
+41 -31	metaprl/theories/czf/czf_itt_or.ml
+34 -9	metaprl/theories/czf/czf_itt_or.mli
+29 -2	metaprl/theories/czf/czf_itt_set.ml
+23 -1	metaprl/theories/czf/czf_itt_set.mli
Added	metaprl/theories/czf/czf_itt_set_ind.ml
Properties	metaprl/theories/czf/czf_itt_set_ind.ml
Added	metaprl/theories/czf/czf_itt_set_ind.mli
Properties	metaprl/theories/czf/czf_itt_set_ind.mli
+24 -0	metaprl/theories/czf/czf_itt_small.ml
+8 -0	metaprl/theories/czf/czf_itt_small.mli
+21 -9	metaprl/theories/czf/czf_itt_true.ml
+7 -2	metaprl/theories/czf/czf_itt_true.mli
Added	metaprl/theories/czf/czf_itt_union.ml
Properties	metaprl/theories/czf/czf_itt_union.ml
Added	metaprl/theories/czf/czf_itt_union.mli
Properties	metaprl/theories/czf/czf_itt_union.mli
+22 -1	metaprl/theories/itt/itt_logic.ml
+10 -0	metaprl/theories/itt/itt_logic.mli
+4 -4	metaprl/theories/itt/itt_struct.ml
+18 -0	metaprl/theories/itt/itt_union.ml
+7 -0	metaprl/theories/itt/itt_union.mli
+15 -1	metaprl/theories/itt/itt_unit.ml
+4 -0	metaprl/theories/itt/itt_unit.mli
+14 -0	metaprl/theories/itt/itt_void.ml
+4 -0	metaprl/theories/itt/itt_void.mli
+1 -1	metaprl/theories/itt/itt_w.ml
+4 -7	metaprl/theories/tactic/conversionals.ml
+31 -53	metaprl/theories/tactic/rewrite_type.ml
+4 -0	metaprl/theories/tactic/rewrite_type.mli
+12 -6	metaprl/theories/tactic/var.ml