src/HOL/Library/Predicate_Compile_Alternative_Defs.thy
changeset 66010 2f7d39285a1a
parent 63950 cdc1e59aa513
child 67091 1393c2340eec