src/HOL/Tools/Nunchaku/nunchaku_collect.ML
Fri, 08 Sep 2017 00:03:00 +0200 blanchet eliminate artifact of translation in printed Nunchaku model
Fri, 08 Sep 2017 00:02:22 +0200 blanchet tuning
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