doc-src/Codegen/Thy/Foundations.thy
changeset 48521 0e4bb86c74fd
parent 46521 addcdf0dd283