src/Provers/simplifier.ML
changeset 13157 4a4599f78f18
parent 12311 ce5f9e61c037
child 13462 56610e2ba220