diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-26 10:12:50 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-26 10:12:50 +0100 |
| commit | bec4b138090e87fe92c970ca98010e60707c44f9 (patch) | |
| tree | 53e458ee2c6e548979e5e1dd215e4ad379601986 /CheckInsert.agda | |
| parent | 28e7397a76be229ba723e49db51d2bf0b87c5493 (diff) | |
| download | bidiragda-bec4b138090e87fe92c970ca98010e60707c44f9.tar.gz | |
fix compilation on Agda 2.3.0.1
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions