src/HOL/Library/Fraction_Field.thy
changeset 44913 48240fb48980
parent 40822 98a5faa5aec0
child 45694 4a8743618257