src/Pure/assumption.ML
changeset 70533 031620901fcd
parent 70313 9c19e15c8548
child 70735 561b11865cb5