src/HOL/Library/Dlist.thy
2010-03-10 haftmann 2010-03-10 avoid confusion
2010-02-22 haftmann 2010-02-22 added Dlist