projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 29 May 2016 18:13:10 +0000 (18:13 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 29 May 2016 18:13:10 +0000 (18:13 +0000) | ||
| commit | f215e6c18fbd22a049e6d34cf3bb52b0cabc4d58 | |
| tree | 294c111fa00249e01ea38d034577456a6202ab1e | tree | snapshot |
| parent | 199ba569adf94f9948053352c2c0a1c6deb62bc5 | commit | diff |
| matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_after.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_sor.ma | diff | blob | history |