src/HOL/List.ML
changeset 20380 14f9f2a1caa6
parent 18362 e8b7e0a22727