diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-09-26 22:02:48 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-09-26 22:02:48 +0200 |
| commit | 8546a8812a4fdaf3e3d7a7ba3433894db8b25a14 (patch) | |
| tree | cafa975b28934f1e972d0f01caf65f6298dae6ab /BFF.agda | |
| parent | e23173b45a08fde6dd2decdc2e985ec3df90231b (diff) | |
| download | bidiragda-8546a8812a4fdaf3e3d7a7ba3433894db8b25a14.tar.gz | |
use _\==n_ and _\notin_ instead of \neg
Consistent. Shorter.
Diffstat (limited to 'BFF.agda')
0 files changed, 0 insertions, 0 deletions