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
|