src/HOL/List.thy
changeset 38968 e55deaa22fff
parent 38857 97775f3e8722
child 39073 8520a1f89db1