Adjust theorem spec
Adjust theorem spec

Delete the specs of the removed methods are deleted and add specs for
prove_options.

ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub