src/HOL/Integ/int_factor_simprocs.ML
changeset 18851 9502ce541f01
parent 18442 b35d7312c64f
child 19277 f7602e74d948