src/Pure/facts.ML
changeset 45107 76fef3e57004
parent 42375 774df7c59508
child 47005 421760a1efe7