src/HOL/Library/Dlist.thy
changeset 53745 788730ab7da4
parent 49834 b27bbb021df1
child 55467 a5c9002bc54d