*)
val find_library_equalities:
HMysql.dbd -> Cic.context -> ProofEngineTypes.status -> int ->
- UriManager.UriSet.t * equality list * int
+ UriManager.UriSet.t * (UriManager.uri * equality) list * int
(**
searches the library for theorems that are not equalities (returned by the