projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 8 Jun 2014 18:01:59 +0000 (18:01 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 8 Jun 2014 18:01:59 +0000 (18:01 +0000) | ||
| commit | 3f37332f773685e992ae666cada75d5efaecd4bb | |
| tree | 4a513e84675f940a937de58e77a80eedae1bdf15 | tree | snapshot |
| parent | a2092f7ba4c7c566ea90653ff57e4623ab94d8d5 | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/multiple/llor.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/basic_2/multiple/llor_ldrop.ma | diff | blob | history |