src/HOL/Predicate.thy
changeset 55990 41c6b99c5fb7
parent 55467 a5c9002bc54d
child 56154 f0a927235162