src/HOL/Rat.thy
changeset 52604 ff2f0818aebc
parent 52146 ceb31e1ded30
child 53012 cb82606b8215
child 53015 a1119cf551e8
equal deleted inserted replaced
52603:a44e9a1d5d8b 52604:ff2f0818aebc