author | Helmut Grohne <helmut@subdivi.de> | |
Tue, 5 Jun 2012 12:12:10 +0000 (14:12 +0200) | ||
committer | Helmut Grohne <helmut@subdivi.de> | |
Tue, 5 Jun 2012 12:12:10 +0000 (14:12 +0200) | ||
commit | a98ec27d280b41b86fad060aff60c3e9037fc669 | |
tree | 928b0f0f89e27dd92363a3621c2b2d2b6ab10884 | tree | snapshot |
parent | ddb751df76c004d788ed09c3ed54c562c99afb7b | commit | diff |
Bidir.agda | diff | blob | history | |
CheckInsert.agda | [new file with mode: 0644] | blob |