diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2018-01-02 05:33:53 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2018-01-02 05:39:00 +0100 |
| commit | c98062b949a6fc792b042e04453b0bed27941caa (patch) | |
| tree | aada9a08c01045718dc52c24b25d1cbdb09a2642 /FreeTheorems.agda | |
| parent | 1b1c4927937f556d87b6c76c9b64d93a0230f269 (diff) | |
| download | bidiragda-c98062b949a6fc792b042e04453b0bed27941caa.tar.gz | |
length-replicate is now upstream as well
Diffstat (limited to 'FreeTheorems.agda')
0 files changed, 0 insertions, 0 deletions