History log of /seL4-l4v-master/isabelle/src/HOL/Nunchaku.thy
Revision Date Author Comments
# e60cf64d 06-Jan-2019 wenzelm <none@none>

isabelle update -u path_cartouches;
# 8bb22d6a 07-Sep-2017 blanchet <none@none>

correctly locate SMBC from Nunchaku
# 835e6161 07-Sep-2017 blanchet <none@none>

moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years

--HG--
rename : src/HOL/Nunchaku/Nunchaku.thy => src/HOL/Nunchaku.thy
rename : src/HOL/Nunchaku/Tools/nunchaku.ML => src/HOL/Tools/Nunchaku/nunchaku.ML
rename : src/HOL/Nunchaku/Tools/nunchaku_collect.ML => src/HOL/Tools/Nunchaku/nunchaku_collect.ML
rename : src/HOL/Nunchaku/Tools/nunchaku_commands.ML => src/HOL/Tools/Nunchaku/nunchaku_commands.ML
rename : src/HOL/Nunchaku/Tools/nunchaku_display.ML => src/HOL/Tools/Nunchaku/nunchaku_display.ML
rename : src/HOL/Nunchaku/Tools/nunchaku_model.ML => src/HOL/Tools/Nunchaku/nunchaku_model.ML
rename : src/HOL/Nunchaku/Tools/nunchaku_problem.ML => src/HOL/Tools/Nunchaku/nunchaku_problem.ML
rename : src/HOL/Nunchaku/Tools/nunchaku_reconstruct.ML => src/HOL/Tools/Nunchaku/nunchaku_reconstruct.ML
rename : src/HOL/Nunchaku/Tools/nunchaku_tool.ML => src/HOL/Tools/Nunchaku/nunchaku_tool.ML
rename : src/HOL/Nunchaku/Tools/nunchaku_translate.ML => src/HOL/Tools/Nunchaku/nunchaku_translate.ML
rename : src/HOL/Nunchaku/Tools/nunchaku_util.ML => src/HOL/Tools/Nunchaku/nunchaku_util.ML