src/HOL/Tools/Nunchaku/nunchaku_problem.ML
Fri, 08 Sep 2017 00:02:21 +0200 blanchet properly parenthesize copy types in Nunchaku
Fri, 08 Sep 2017 00:02:14 +0200 blanchet got rid of unsound and needless beta-reduction in Nunchaku frontend
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