src/HOL/Tools/Nunchaku/nunchaku_collect.ML
Fri, 08 Sep 2017 00:01:36 +0200 blanchet moved Nunchaku to Main; the goal is to move Nitpick out in the next 1-2 years
less more (0) tip