src/Pure/pattern.ML
changeset 52516 b5b3c888df9f
parent 52220 c4264f71dc3b
child 52709 0e4bacf21e77