src/HOL/Quotient_Examples/Lift_DList.thy
changeset 55775 1557a391a858
parent 55732 07906fc6af7a
child 63167 0909deb8059b