src/HOL/Library/Predicate_Compile_Alternative_Defs.thy
changeset 42231 bc1891226d00
parent 41075 4bed56dc95fb
child 44241 7943b69f0188