use different formulation of all-different
authorHelmut Grohne <helmut@subdivi.de>
Thu, 10 Jan 2013 12:11:41 +0000 (13:11 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 10 Jan 2013 12:11:41 +0000 (13:11 +0100)
commitf1cc5478163878f72198e1b8530c14798732b4b1
treeafeed1c3049efe7e0607ec08da5ca8fe100cc7ed
parent324461eb4184c99c0f1e715c2e65decf3f71a980
use different formulation of all-different

Suggested by Joachim Breitner.
Precond.agda