clean-ide - Revision 626: /tags/clean-2-2/Interfaces/ProverOptions