src/HOL/Predicate.thy
changeset 76371 1ac2416e8432
parent 69861 62e47f06d22c
child 80932 261cd8722677