Used the library function 'cardinal' instead of a self written function

	modified:   ocaml/term.ml
Added some functions to 'Proof_table'

	modified:   ocaml/proof_table.ml
	modified:   ocaml/proof_table.mli