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