[isabelle-dev] Generated files in Codegen

Tobias Nipkow nipkow at in.tum.de
Mon Aug 20 11:57:00 CEST 2012

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?


More information about the isabelle-dev mailing list