Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. adapted Nunchaku's input syntax to new design decisions
Changeset 64411:0af9926e1303 by blanchet:
adapted Nunchaku's input syntax to new design decisions
The file was modified src/HOL/Nunchaku/Tools/nunchaku_collect.ML (diff)
The file was modified src/HOL/Nunchaku/Tools/nunchaku_problem.ML (diff)
The file was modified src/HOL/Nunchaku/Tools/nunchaku_translate.ML (diff)