src/HOL/List.thy
changeset 7584 5be4bb8e4e3f
parent 7224 e41e64476f9b
child 8000 acafa0f15131