projects / cubicaltt.git / commit
| author | coquand <coquand@chalmers.se> | |
| Sun, 19 Apr 2015 10:12:08 +0000 (12:12 +0200) | ||
| committer | coquand <coquand@chalmers.se> | |
| Sun, 19 Apr 2015 10:12:08 +0000 (12:12 +0200) | ||
| commit | 5160fdd739a6ee0b6cf56f3ec6b44c89b0e8d99f | |
| tree | e7b9ced510a8f655b4ab0bef88972c035270cba5 | tree | snapshot |
| parent | 1857f49fcaa51c6084d65177974e774c998c7024 | commit | diff |
| examples/equiv.ctt | diff | blob | blame | history |