src/HOL/Computational_Algebra/Normalized_Fraction.thy
23 months ago haftmann 2017-10-20 added lemmas and tuned proofs
2017-04-07 wenzelm 2017-04-07 tuned headers;
2017-04-06 haftmann 2017-04-06 session containing computational algebra