src/HOL/Rat.thy
changeset 60243 5901cb4db0ae
parent 59984 4f1eccec320c
child 60352 d46de31a50c4