src/HOL/Nunchaku/Tools/nunchaku_problem.ML
Sat, 29 Oct 2016 00:39:32 +0200 blanchet adapted Nunchaku integration to keyword renaming
Wed, 26 Oct 2016 17:32:50 +0200 blanchet adapted Nunchaku's input syntax to new design decisions
Mon, 24 Oct 2016 22:42:07 +0200 blanchet added Nunchaku integration
less more (0) tip