projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Fri, 18 Dec 2015 20:42:17 +0000 (21:42 +0100) | ||
| committer | coquand <coquand@chalmers.se> | |
| Fri, 18 Dec 2015 20:42:17 +0000 (21:42 +0100) | ||
| commit | 462ac6c4c81ed95988c63f3136b3c7bdcec3916f | |
| tree | d300dbe9f8108b6b1642953861b6218766a62da6 | tree | snapshot |
| parent | 7b6927e75468fab90b839beae24466fda7177cf4 | commit | diff |
| examples/testEquiv.ctt | [new file with mode: 0644] | blob |