src/HOL/List.thy
changeset 1868 836950047d85
parent 1824 44254696843a
child 1898 260a9711f507