projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Fri, 18 Dec 2015 20:42:17 +0000 (21:42 +0100) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Sat, 19 Dec 2015 20:24:39 +0000 (15:24 -0500) | ||
| commit | f707d805f5c9c4fab79d950e239418621a465f94 | |
| tree | df8f5414d7bb3e87ceb79efee19c45155ff3c5eb | tree | snapshot |
| parent | 3435cd4f0b66679b8820be3f12470abf1049ea0f | commit | diff |
| examples/testEquiv.ctt | [new file with mode: 0644] | blob |