src/HOL/Library/Fraction_Field.thy
changeset 49083 01081bca31b6
parent 47252 3a096e7a1871
child 49834 b27bbb021df1