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