Quot/quotient_term.ML
changeset 966 8ba35ce16f7e
parent 959 1786aa86e52b
child 974 d44fda0cf393