[isabelle-dev] Generated files in Codegen

[Tobias Nipkow]

I just rebuilt HOL. As a result I modified 3 files

M doc-src/Codegen/Thy/document/Introduction.tex
M doc-src/Codegen/Thy/document/Refinement.tex
M doc-src/Codegen/Thy/examples/example.ML

I suspect these are generated files and that the changes are the result of this
changeset: 441a4eed7823

But can I check the changes in?

Tobias