src/HOL/ATP.thy
changeset 47988 e4b69e10b990
parent 47946 33afcfad3f8d
child 48891 c0eafbd55de3