Quot/quotient_info.ML
changeset 787 5cf83fa5b36c
parent 786 d6407afb913c
child 792 a31cf260eeb3
equal deleted inserted replaced
786:d6407afb913c 787:5cf83fa5b36c