src/Doc/Codegen/Inductive_Predicate.thy
changeset 57874 9c361f94b323
parent 52753 1165f78c16d8
child 58620 7435b6a3f72e
equal deleted inserted replaced
57873:ea94d2aa62be 57874:9c361f94b323