src/HOL/ATP.thy
changeset 65578 e4997c181cce
parent 60758 d8d85a8172b5
child 66364 fa3247e6ee4b