drop-suc is cong pred
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 6 Jun 2014 07:23:00 +0000 (09:23 +0200)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Fri, 6 Jun 2014 07:23:00 +0000 (09:23 +0200)
commit51dad2ec627203822e1879e3d58ae5331e58d414
treec48e1e7abd90f5d9a792f87b07370d9da299a9cd
parent91db824bfa4d66f29066a381e88e6e3125e15576
drop-suc is cong pred
Examples.agda