src/Pure/facts.ML
changeset 62337 d3996d5873dd
parent 61054 add998b3c597
child 63080 8326aa594273