doc-src/Codegen/Thy/document/Inductive_Predicate.tex
changeset 46784 71d1ed1ed8d8
parent 46523 7ca897381b26