Quot/quotient_term.ML
changeset 968 362402adfb88
parent 959 1786aa86e52b
child 974 d44fda0cf393