src/HOL/List.thy
changeset 2919 953a47dc0519
parent 2738 e28a0668dbfe
child 3196 c522bc46aea7