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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
