projects / cubicaltt.git / commit
| author | Thierry Coquand <coquand@dhcp-179211.eduroam.chalmers.se> | |
| Wed, 27 Apr 2016 09:22:34 +0000 (11:22 +0200) | ||
| committer | Thierry Coquand <coquand@dhcp-179211.eduroam.chalmers.se> | |
| Wed, 27 Apr 2016 09:22:34 +0000 (11:22 +0200) | ||
| commit | 4eb27da0bf4335ee87ac4d9d2c5e8a11d960fc99 | |
| tree | 73a8f56a948e3d2f3708438e0c9c1607584aff0e | tree | snapshot |
| parent | 51d1d2943b57c868ec0e46325514d8fc58dd0919 | commit | diff |
| examples/injective.ctt | [new file with mode: 0644] | blob |
| examples/subset.ctt | [new file with mode: 0644] | blob |