src/HOL/Fact.thy
changeset 52435 6646bb548c6b
parent 50240 019d642d422d
child 57113 7e95523302e6