diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-10-22 10:50:51 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-10-22 10:50:51 +0200 |
| commit | e88e81ee531d8133bc0d32f86b416fa940b40395 (patch) | |
| tree | a10fb6b7b63ecf22ce9fbd7fa2cf00eec8068b44 /CheckInsert.agda | |
| parent | b01b94ab91ece430e72ac315689e78dc6dc49ebf (diff) | |
| download | bidiragda-e88e81ee531d8133bc0d32f86b416fa940b40395.tar.gz | |
also parameterize Precond
The import of CheckInsert was broken in previous commit.
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions