diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-06-06 09:23:00 +0200 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-06-06 09:23:00 +0200 |
| commit | 51dad2ec627203822e1879e3d58ae5331e58d414 (patch) | |
| tree | c48e1e7abd90f5d9a792f87b07370d9da299a9cd /GetTypes.agda | |
| parent | 91db824bfa4d66f29066a381e88e6e3125e15576 (diff) | |
| download | bidiragda-51dad2ec627203822e1879e3d58ae5331e58d414.tar.gz | |
drop-suc is cong pred
Diffstat (limited to 'GetTypes.agda')
0 files changed, 0 insertions, 0 deletions