src/HOL/Rat.thy
changeset 66983 df83b66f1d94
parent 66806 a4e82b58d833
child 67051 e7e54a0b9197