projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Sat, 26 Dec 2015 19:45:35 +0000 (20:45 +0100) | ||
| committer | coquand <coquand@chalmers.se> | |
| Sat, 26 Dec 2015 19:45:35 +0000 (20:45 +0100) | ||
| commit | f08b2e691293ddc2c6807711e88c91da4c14417b | |
| tree | 52bf936c16bebedffe5c8872c36d934283465564 | tree | snapshot |
| parent | 0fa3409aabf1886ce87c1aefc51740d2535817bd | commit | diff |
| examples/testEquiv.ctt | [new file with mode: 0644] | blob |