simpler formulation of All-different
authorHelmut Grohne <helmut@subdivi.de>
Sun, 14 Apr 2013 15:50:16 +0000 (17:50 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 14 Apr 2013 15:50:16 +0000 (17:50 +0200)
commit45d54c7cec9e384399d283d38a1f96a890ec952f
tree90016faa15ca062dd7a40ee47cfa18a92b57a582
parentd350161d1446b20d621e2fe76c47dd2d730e3dcb
simpler formulation of All-different
Precond.agda