searches the library for equalities that can be applied to the current goal
*)
val find_library_equalities:
- HMysql.dbd -> Cic.context -> ProofEngineTypes.status -> int ->
+ bool -> HMysql.dbd -> Cic.context -> ProofEngineTypes.status -> int ->
UriManager.UriSet.t * (UriManager.uri * Equality.equality) list * int
(**