src/HOL/ATP.thy
changeset 52435 6646bb548c6b
parent 51575 907efc894051
child 53479 f7d8224641de