src/HOL/Quotient_Examples/Lift_FSet.thy
changeset 66787 64b47495676d
parent 63343 fb5d8a50c641
child 67399 eab6ce8368fa