src/HOL/Nunchaku.thy
2017-09-08 blanchet 2017-09-08 correctly locate SMBC from Nunchaku
2017-09-08 blanchet 2017-09-08 moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years