src/HOL/Library/List_Set.thy
changeset 35115 446c5063e4fd
parent 34977 27ceb64d41ea
child 37023 efc202e1677e