Summary
- tuned;
- updated for release;
- tuned headers;
The file was modified | CONTRIBUTORS (diff) |
The file was modified | Admin/Release/CHECKLIST (diff) |
The file was modified | src/HOL/Tools/Nunchaku/nunchaku.ML (diff) |
The file was modified | src/HOL/Tools/Nunchaku/nunchaku_collect.ML (diff) |
The file was modified | src/HOL/Tools/Nunchaku/nunchaku_commands.ML (diff) |
The file was modified | src/HOL/Tools/Nunchaku/nunchaku_display.ML (diff) |
The file was modified | src/HOL/Tools/Nunchaku/nunchaku_model.ML (diff) |
The file was modified | src/HOL/Tools/Nunchaku/nunchaku_problem.ML (diff) |
The file was modified | src/HOL/Tools/Nunchaku/nunchaku_reconstruct.ML (diff) |
The file was modified | src/HOL/Tools/Nunchaku/nunchaku_tool.ML (diff) |
The file was modified | src/HOL/Tools/Nunchaku/nunchaku_translate.ML (diff) |
The file was modified | src/HOL/Tools/Nunchaku/nunchaku_util.ML (diff) |