src/HOL/List.thy
changeset 35898 c890a3835d15
parent 35828 46cfc4b8112e
child 36154 11c6106d7787
child 36198 ead2db2be11a