Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added Nunchaku integration
Changeset 64389:6273d4c8325b by blanchet:
added Nunchaku integration
The file was addedsrc/HOL/Nunchaku/Nunchaku.thy
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_collect.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_commands.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_display.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_model.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_problem.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_reconstruct.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_tool.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_translate.ML
The file was addedsrc/HOL/Nunchaku/Tools/nunchaku_util.ML
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
The file was modified src/HOL/ROOT (diff)