src/HOL/List.thy
changeset 66061 880db47fed30
parent 65956 639eb3617a86
child 66253 a0cc7ebc7751