projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 18 Mar 2013 19:21:57 +0000 (19:21 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 18 Mar 2013 19:21:57 +0000 (19:21 +0000) | ||
| commit | 83508f07f55f7660ca071f15e966cc67ccf510da | |
| tree | 9820060bcade18ab07b8378822767b44d9f6084e | tree | snapshot |
| parent | 520d60c708a792bb77f8e290f35ec51f7dbfa29a | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/etc/ygt/zgt.etc | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/etc/ygt/zgt.ma | [deleted file] | blob | history |