src/HOL/Quotient_Examples/DList.thy
changeset 83017 5e5792b570b1
parent 82691 b69e4da2604b