src/HOL/Fact.thy
changeset 49093 fdc301f592c4
parent 46240 933f35c4e126
child 50224 aacd6da09825