src/HOL/Library/Abstract_Rat.thy
changeset 53745 788730ab7da4
parent 50282 fe4d4bb9f4c2