projects / ~helmut / bidiragda.git / commit
| 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 |