src/Pure/facts.ML
changeset 37174 6feaab4fc27d
parent 35408 b48ab741683b
child 42358 b47d41d9f4b5