diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2013-12-16 17:34:59 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2013-12-16 17:34:59 +0100 |
| commit | 2f999bfd6553cb31ebffe4c32d0a2a52dedaf4d3 (patch) | |
| tree | c204596acfa8626c47c291f86f57ec8f51a50bd2 /Precond.agda | |
| parent | ce9855e6c2e8b88499ebd9660e0cd225146c1b6b (diff) | |
| download | bidiragda-2f999bfd6553cb31ebffe4c32d0a2a52dedaf4d3.tar.gz | |
move generic functions to a new Generic module
Diffstat (limited to 'Precond.agda')
0 files changed, 0 insertions, 0 deletions