src/HOL/ATP.thy
changeset 55990 41c6b99c5fb7
parent 54148 c8cc5ab4a863
child 56946 10d9bd4ea94f