Editorial

	modified:   ocaml/proof_table.ml
Added functions 'term_up' and 'split_proof_term'

	modified:   ocaml/proof.ml
Deleted unused code

	modified:   ocaml/proof_table.ml