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
On Mon, 20 Aug 2012, Tobias Nipkow wrote:
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