src/HOL/Integ/int_factor_simprocs.ML
changeset 16587 b34c8aa657a5
parent 15271 3c32a26510c4
child 16973 b2a894562b8f