use _\==n_ and _\notin_ instead of \neg
authorHelmut Grohne <helmut@subdivi.de>
Wed, 26 Sep 2012 20:02:48 +0000 (22:02 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Wed, 26 Sep 2012 20:02:48 +0000 (22:02 +0200)
commit8546a8812a4fdaf3e3d7a7ba3433894db8b25a14
treecafa975b28934f1e972d0f01caf65f6298dae6ab
parente23173b45a08fde6dd2decdc2e985ec3df90231b
use _\==n_ and _\notin_ instead of \neg

Consistent. Shorter.
Bidir.agda
CheckInsert.agda
FinMap.agda