projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 23 Mar 2016 19:13:00 +0000 (19:13 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 23 Mar 2016 19:13:00 +0000 (19:13 +0000) | ||
| commit | 2b390e80869944f75672ea27d2ec83cdfc7ae6d0 | |
| tree | ad2b263162eca9f0b38874db52c1c08264bda7fd | tree | snapshot |
| parent | ebc170efe71cf4ee842acfbe58bb6864e76ba98c | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyeq_6.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyeq_7.ma | [deleted file] | blob | history |