"-o", Arg.String set_ordering,
"Term ordering. Possible values are:\n" ^
- "\tkbo: Knuth-Bendix ordering (default)\n" ^
- "\tnr-kbo: Non-recursive variant of kbo\n" ^
+ "\tkbo: Knuth-Bendix ordering\n" ^
+ "\tnr-kbo: Non-recursive variant of kbo (default)\n" ^
"\tlpo: Lexicographic path ordering";
"-l", Arg.Int set_time_limit, "Time limit in seconds (default: no limit)";