rename lemma-from-just to just-injective
authorHelmut Grohne <helmut@subdivi.de>
Thu, 25 Oct 2012 10:53:19 +0000 (12:53 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 25 Oct 2012 10:53:19 +0000 (12:53 +0200)
commit7dcad0cd17c75867c2ce10ac72c9863fb3ed2e94
treea0c6cca57eca277ff0d647d6d9fdab3e97146a3d
parentf622e4cfa50a46761a7344c9ad980f983f5f42ec
rename lemma-from-just to just-injective

We already have suc-injective and \::-injective. Consistency!
Bidir.agda
CheckInsert.agda
FinMap.agda