(** @return true if file is a (binary) proof object *)
val is_proof_object: string -> bool
+ (** given a phrase, if it doesn't end with BuildTimeConf.phrase_sep, append
+ * it *)
+val append_phrase_sep: string -> string
+
+val strip_trailing_blanks: string -> string
+