src/HOL/Proofs/Lambda/ListApplication.thy
changeset 47988 e4b69e10b990
parent 47397 d654c73e4b12
child 57512 cc97b347b301