src/HOL/Fact.thy
changeset 37407 61dd8c145da7
parent 35644 d20cf282342e
child 40033 84200d970bf0