diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-09-27 13:55:29 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-09-27 13:55:29 +0200 |
| commit | caeae59c7e6ae461a066ac008160035dbff9122b (patch) | |
| tree | 4f2f3fc1de45d64006c570ac96499b1ceb7cdb76 /FreeTheorems.agda | |
| parent | 1428e4192d61533864a8f163c86272eef4b891cf (diff) | |
| download | bidiragda-caeae59c7e6ae461a066ac008160035dbff9122b.tar.gz | |
remove getVec-getlen in favour of plain subst
Diffstat (limited to 'FreeTheorems.agda')
0 files changed, 0 insertions, 0 deletions