projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 15 Oct 2014 13:43:06 +0000 (13:43 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 15 Oct 2014 13:43:06 +0000 (13:43 +0000) | ||
| commit | 8c0dca9afa666cb4c993fef8e4870388b97c5975 | |
| tree | 8522e6f14c3f15c72b34e5ac296628bf61709008 | tree | snapshot |
| parent | 4e961fd767a9800fe35fda629f7a2f119d4b165f | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/basic_2/equivalence/cpcs_cprs.ma | diff | blob | history |