src/Provers/Arith/extract_common_term.ML
changeset 78659 b5f3d1051b13
parent 70326 aa7c49651f4e