projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 21 Oct 2015 17:00:58 +0000 (17:00 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 21 Oct 2015 17:00:58 +0000 (17:00 +0000) | ||
| commit | 1407a045a96f3a96e341ba9ee16aa633467164b6 | |
| tree | 6aa4f650c3ce1c0be9ae2ad24c9d9c28cfee1b00 | tree | snapshot |
| parent | 7593c0f74b944fb100493fb24b665ce3b8d1d252 | commit | diff |
| matita/matita/contribs/lambdadelta/ground_2/relocation/trace_after.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/ground_2/relocation/trace_at.ma | diff | blob | history |