Quot/quotient_tacs.ML
changeset 834 fb7fe6aca6f0
parent 828 e1f1114ae8bd
child 837 116c7a30e0a2
equal deleted inserted replaced
833:129caba33c03 834:fb7fe6aca6f0