src/HOL/Predicate.thy
changeset 55415 05f5fdb8d093
parent 53943 2b761d9a74f5
child 55416 dd7992d4a61a