src/HOL/Nunchaku/Nunchaku.thy
2016-10-24 blanchet 2016-10-24 added Nunchaku integration