src/HOL/Library/Dlist.thy
2010-02-22 haftmann 2010-02-22 added Dlist