projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 23 Sep 2019 13:00:45 +0000 (15:00 +0200) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 23 Sep 2019 13:00:45 +0000 (15:00 +0200) | ||
| commit | 7e6fea0332e132a8cb89c689ba68c5e884c4354c | |
| tree | 0f026e2409cb20338488559b78083e4c39869c1d | tree | snapshot |
| parent | 488387490fb12d92f56ebcac2fc68d83a0d266ec | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_acle.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl | diff | blob | history |