doc-src/Codegen/Thy/Inductive_Predicate.thy
changeset 44014 88bd7d74a2c1
parent 39682 066e2d4d0de8
child 46515 2a0e1bcf713c