src/HOL/List.ML
changeset 15584 3478bb4f93ff
parent 15246 0984a2c2868b
child 15693 3a67e61c6e96