projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 5 Feb 2013 17:50:19 +0000 (17:50 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 5 Feb 2013 17:50:19 +0000 (17:50 +0000) | ||
| commit | 87a9c693cc28dad1714fab2a470352e7573288fc | |
| tree | e52395976e646abdeafef327b8d05259b148e472 | tree | snapshot |
| parent | 4539aee6408cdc8efdfc981138c280c2dac79202 | commit | diff |
| matita/components/ng_extraction/.depend.opt | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ltpr.ma | [new file with mode: 0644] | blob |