projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Sat, 19 Dec 2015 18:04:59 +0000 (19:04 +0100) | ||
| committer | Anders Mörtberg <andersmortberg@gmail.com> | |
| Sat, 19 Dec 2015 20:24:46 +0000 (15:24 -0500) | ||
| commit | c74c61bae15069c1ef25227b814d783cd4a1110c | |
| tree | d31073e0000c04efb69b4518c7ded81b68fbb6c5 | tree | snapshot |
| parent | f707d805f5c9c4fab79d950e239418621a465f94 | commit | diff |
| examples/testEquiv.ctt | diff | blob | blame | history |