src/HOL/Predicate_Compile.thy
changeset 33963 977b94b64905
parent 33265 01c9c6dbd890
child 34948 2d5f2a9f7601