src/HOL/List.thy
changeset 45231 d85a2fdc586c
parent 45181 c8eb935e2e87
child 45607 16b4f5774621