src/HOL/Library/Dlist.thy
changeset 68189 6163c90694ef
parent 67399 eab6ce8368fa
child 69593 3dda49e08b9d