rename suc-\== to suc-injective
authorHelmut Grohne <helmut@subdivi.de>
Wed, 26 Sep 2012 14:14:52 +0000 (16:14 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Wed, 26 Sep 2012 14:14:52 +0000 (16:14 +0200)
commite23173b45a08fde6dd2decdc2e985ec3df90231b
treee9a9aa7c3c46d3f314f2520b077e4ebaf0adb82b
parentc1d4b4bd8d8c785a4745cb8be5d2b6094bd38def
rename suc-\== to suc-injective

This way of naming things is more similar to the standard library and to
my own \::-injective. Suggested by Andres Loeh.
Precond.agda