Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1998-04-22 15:45:29 -0700 (Wed, 22 Apr 1998)
Revision: 2150
Log message:

      *** empty log message ***
      

Changes	Path
+5 -2	metaprl/editor/ml/proof.ml
+39 -34	metaprl/editor/ml/proof.mli
+26 -13	metaprl/editor/ml/proof_step.ml
+20 -9	metaprl/editor/ml/proof_step.mli
+6 -13	metaprl/filter/filter_prog.ml
+36 -0	metaprl/filter/filter_proof.ml
+8 -0	metaprl/filter/filter_proof.mli
+5 -1	metaprl/theories/base/typeinf.ml
+5 -1	metaprl/theories/base/typeinf.mli
+5 -1	metaprl/theories/itt/itt_atom.ml
+5 -1	metaprl/theories/itt/itt_atom.mli
+12 -3	metaprl/theories/itt/itt_dfun.ml
+5 -1	metaprl/theories/itt/itt_dfun.mli
+11 -4	metaprl/theories/itt/itt_dprod.ml
+5 -1	metaprl/theories/itt/itt_dprod.mli
+8 -3	metaprl/theories/itt/itt_equal.ml
+6 -1	metaprl/theories/itt/itt_equal.mli
+11 -3	metaprl/theories/itt/itt_fun.ml
+4 -0	metaprl/theories/itt/itt_fun.mli
+11 -5	metaprl/theories/itt/itt_int.ml
+5 -1	metaprl/theories/itt/itt_int.mli
+12 -5	metaprl/theories/itt/itt_isect.ml
+5 -1	metaprl/theories/itt/itt_isect.mli
+10 -4	metaprl/theories/itt/itt_list.ml
+5 -1	metaprl/theories/itt/itt_list.mli
+9 -4	metaprl/theories/itt/itt_logic.ml
+8 -4	metaprl/theories/itt/itt_prec.ml
+4 -1	metaprl/theories/itt/itt_prec.mli
+12 -4	metaprl/theories/itt/itt_prod.ml
+4 -0	metaprl/theories/itt/itt_prod.mli
+12 -5	metaprl/theories/itt/itt_quotient.ml
+5 -1	metaprl/theories/itt/itt_quotient.mli
+14 -5	metaprl/theories/itt/itt_rfun.ml
+5 -1	metaprl/theories/itt/itt_rfun.mli
+15 -6	metaprl/theories/itt/itt_set.ml
+5 -1	metaprl/theories/itt/itt_set.mli
+6 -2	metaprl/theories/itt/itt_soft.ml
+8 -2	metaprl/theories/itt/itt_soft.mli
+7 -2	metaprl/theories/itt/itt_squash.ml
+5 -1	metaprl/theories/itt/itt_squash.mli
+7 -3	metaprl/theories/itt/itt_srec.ml
+10 -2	metaprl/theories/itt/itt_struct.ml
+6 -1	metaprl/theories/itt/itt_struct.mli
+8 -1	metaprl/theories/itt/itt_subtype.ml
+5 -1	metaprl/theories/itt/itt_subtype.mli
+12 -4	metaprl/theories/itt/itt_union.ml
+5 -1	metaprl/theories/itt/itt_union.mli
+7 -2	metaprl/theories/itt/itt_unit.ml
+5 -1	metaprl/theories/itt/itt_unit.mli
+9 -3	metaprl/theories/itt/itt_void.ml
+5 -1	metaprl/theories/itt/itt_void.mli