Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 1999-05-13 16:18:29 -0700 (Thu, 13 May 1999)
Revision: 2652
Log message:

      1) Added a bug list into BUGS
      
      2) Changed the keywords:
      axiom -> rule  (.mli files)
      primrw -> prim_rw  (.ml files)
      rwthm -> thm_rw  (.ml files)
      
      3) Fixed the rule Itt_struct.hypSubstitution
      

Changes  Path
Added metaprl/BUGS
Properties metaprl/BUGS
+3 -3 metaprl/doc/htmlman/system/mp-refine.html
+1 -1 metaprl/doc/htmlman/system/mp-tacticals.html
Binary metaprl/doc/htmlman/system/proof-node.ai
+1 -1 metaprl/doc/htmlman/tutorial/mp-not.html
+1 -1 metaprl/doc/htmlman/tutorial/mp-simple.html
+4 -4 metaprl/doc/htmlman/tutorial/mp_fol_not1.txt
+4 -4 metaprl/doc/htmlman/tutorial/mp_fol_not12.txt
+8 -8 metaprl/doc/htmlman/user-guide/mp-axiom.html
+4 -4 metaprl/doc/htmlman/user-guide/mp-rewrite.html
+4 -4 metaprl/editor/ml/shell.ml
+2 -2 metaprl/editor/ml/shell_rule.ml
+3 -3 metaprl/filter/filter_parse.ml
+2 -2 metaprl/theories/base/summary.ml
+7 -7 metaprl/theories/czf/czf_all.mli
+4 -4 metaprl/theories/czf/czf_and.mli
+2 -2 metaprl/theories/czf/czf_equal.mli
+7 -7 metaprl/theories/czf/czf_exists.mli
+3 -3 metaprl/theories/czf/czf_false.mli
+4 -4 metaprl/theories/czf/czf_implies.mli
+4 -4 metaprl/theories/czf/czf_itt_all.mli
+4 -4 metaprl/theories/czf/czf_itt_and.mli
+1 -1 metaprl/theories/czf/czf_itt_dall.ml
+4 -4 metaprl/theories/czf/czf_itt_dall.mli
+1 -1 metaprl/theories/czf/czf_itt_dexists.ml
+4 -4 metaprl/theories/czf/czf_itt_dexists.mli
+1 -1 metaprl/theories/czf/czf_itt_empty.ml
+2 -2 metaprl/theories/czf/czf_itt_empty.mli
+5 -5 metaprl/theories/czf/czf_itt_eq.ml
+18 -18 metaprl/theories/czf/czf_itt_eq.mli
+1 -1 metaprl/theories/czf/czf_itt_eq_inner.ml
+6 -6 metaprl/theories/czf/czf_itt_eq_inner.mli
+4 -4 metaprl/theories/czf/czf_itt_exists.mli
+4 -4 metaprl/theories/czf/czf_itt_false.mli
+6 -6 metaprl/theories/czf/czf_itt_implies.mli
+4 -4 metaprl/theories/czf/czf_itt_isect.mli
+1 -1 metaprl/theories/czf/czf_itt_member.ml
+7 -7 metaprl/theories/czf/czf_itt_member.mli
+4 -4 metaprl/theories/czf/czf_itt_or.mli
+4 -4 metaprl/theories/czf/czf_itt_pre_set.ml
+7 -7 metaprl/theories/czf/czf_itt_pre_set.mli
+1 -1 metaprl/theories/czf/czf_itt_rel.ml
+2 -2 metaprl/theories/czf/czf_itt_res.mli
+1 -1 metaprl/theories/czf/czf_itt_sall.ml
+3 -3 metaprl/theories/czf/czf_itt_sall.mli
+4 -4 metaprl/theories/czf/czf_itt_sep.ml
+5 -5 metaprl/theories/czf/czf_itt_sep.mli
+4 -4 metaprl/theories/czf/czf_itt_set.ml
+9 -9 metaprl/theories/czf/czf_itt_set.mli
+2 -2 metaprl/theories/czf/czf_itt_set_ext.ml
+9 -9 metaprl/theories/czf/czf_itt_set_ext.mli
+4 -4 metaprl/theories/czf/czf_itt_set_ind.mli
+1 -1 metaprl/theories/czf/czf_itt_sexists.ml
+2 -2 metaprl/theories/czf/czf_itt_small.ml
+11 -11 metaprl/theories/czf/czf_itt_small.mli
+4 -4 metaprl/theories/czf/czf_itt_true.mli
+1 -1 metaprl/theories/czf/czf_itt_union.ml
+4 -4 metaprl/theories/czf/czf_itt_union.mli
+1 -1 metaprl/theories/czf/czf_member.mli
+5 -5 metaprl/theories/czf/czf_or.mli
+1 -1 metaprl/theories/czf/czf_set.ml
+1 -1 metaprl/theories/czf/czf_struct.mli
+1 -1 metaprl/theories/czf/czf_true.ml
+3 -3 metaprl/theories/czf/czf_true.mli
+1 -1 metaprl/theories/fol/fol_all_itt.ml
+1 -1 metaprl/theories/fol/fol_and.ml
+1 -1 metaprl/theories/fol/fol_implies.ml
+1 -1 metaprl/theories/fol/fol_not.ml
+2 -2 metaprl/theories/fol/fol_or.ml
+1 -1 metaprl/theories/fol/fol_type_itt.ml
+4 -4 metaprl/theories/fol/fol_univ_itt.ml
+1 -1 metaprl/theories/itt/itt_arith.mli
+5 -5 metaprl/theories/itt/itt_atom.mli
+1 -1 metaprl/theories/itt/itt_atom_bool.ml
+1 -1 metaprl/theories/itt/itt_bisect.ml
+12 -12 metaprl/theories/itt/itt_bool.ml
+8 -8 metaprl/theories/itt/itt_bool.mli
+1 -1 metaprl/theories/itt/itt_bunion.ml
+1 -1 metaprl/theories/itt/itt_dfun.ml
+11 -11 metaprl/theories/itt/itt_dfun.mli
+5 -5 metaprl/theories/itt/itt_dprod.ml
+8 -8 metaprl/theories/itt/itt_dprod.mli
+1 -1 metaprl/theories/itt/itt_equal.ml
+19 -19 metaprl/theories/itt/itt_equal.mli
+2 -2 metaprl/theories/itt/itt_ext_equal.ml
+19 -19 metaprl/theories/itt/itt_fset.ml
+1 -1 metaprl/theories/itt/itt_fun.ml
+9 -9 metaprl/theories/itt/itt_fun.mli
+15 -15 metaprl/theories/itt/itt_int.ml
+11 -11 metaprl/theories/itt/itt_int.mli
+5 -5 metaprl/theories/itt/itt_int_bool.ml
+8 -8 metaprl/theories/itt/itt_isect.mli
+2 -2 metaprl/theories/itt/itt_list.ml
+11 -11 metaprl/theories/itt/itt_list.mli
+7 -7 metaprl/theories/itt/itt_list2.ml
+14 -14 metaprl/theories/itt/itt_logic.ml
+1 -1 metaprl/theories/itt/itt_prec.ml
+6 -6 metaprl/theories/itt/itt_prec.mli
+1 -1 metaprl/theories/itt/itt_prod.ml
+7 -7 metaprl/theories/itt/itt_prod.mli
+11 -11 metaprl/theories/itt/itt_quotient.mli
+2 -2 metaprl/theories/itt/itt_rfun.ml
+7 -7 metaprl/theories/itt/itt_rfun.mli
+6 -6 metaprl/theories/itt/itt_set.mli
+1 -1 metaprl/theories/itt/itt_srec.ml
+7 -7 metaprl/theories/itt/itt_srec.mli
+3 -3 metaprl/theories/itt/itt_struct.ml
+9 -9 metaprl/theories/itt/itt_struct.mli
+10 -10 metaprl/theories/itt/itt_subtype.mli
+1 -1 metaprl/theories/itt/itt_test.ml
+4 -4 metaprl/theories/itt/itt_tsub.mli
+6 -6 metaprl/theories/itt/itt_tunion.mli
+2 -2 metaprl/theories/itt/itt_union.ml
+10 -10 metaprl/theories/itt/itt_union.mli
+8 -8 metaprl/theories/itt/itt_unit.mli
+6 -6 metaprl/theories/itt/itt_void.mli
+1 -1 metaprl/theories/itt/itt_w.ml
+7 -7 metaprl/theories/itt/itt_w.mli
+2 -2 metaprl/theories/lf/lf_ctx.mli
+4 -4 metaprl/theories/lf/lf_dfun.mli
+2 -2 metaprl/theories/lf/lf_kind.mli
+3 -3 metaprl/theories/lf/lf_sig.mli
+1 -1 metaprl/theories/lf/lf_type.mli
+4 -4 metaprl/theories/ocaml_sos/ocaml_base_sos.ml
+2 -2 metaprl/theories/ocaml_sos/ocaml_base_sos.mli
+42 -42 metaprl/theories/ocaml_sos/ocaml_expr_sos.ml
+39 -39 metaprl/theories/ocaml_sos/ocaml_expr_sos.mli
+1 -1 metaprl/theories/ocaml_sos/ocaml_logic.ml
+76 -76 metaprl/theories/ocaml_sos/ocaml_patt_sos.ml
+1 -1 metaprl/theories/reflect_itt/refl_free_vars.ml
+9 -9 metaprl/theories/reflect_itt/refl_raw_term.ml
+17 -17 metaprl/theories/reflect_itt/refl_term.ml
+7 -7 metaprl/theories/reflect_itt/refl_var.ml
+9 -9 metaprl/theories/reflect_itt/refl_var_set.ml
+2 -2 metaprl/theories/tactic/rewrite_type.mli
+7 -7 metaprl/theories/tactic/tactic_cache.ml
+11 -11 metaprl/theories/tactic/tactic_type.ml
+20 -20 metaprl/theories/tptp/tptp.ml