src/HOL/List.ML
changeset 15298 a5bea99352d6
parent 15246 0984a2c2868b
child 15693 3a67e61c6e96
equal deleted inserted replaced
15297:0aff5d912422 15298:a5bea99352d6