Quot/quotient_tacs.ML
changeset 821 c2ebb7fcf9d0
parent 814 cd3fa86be45f
child 826 e3732ed89dfc
equal deleted inserted replaced
820:162e38c14f24 821:c2ebb7fcf9d0