projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 14 Oct 2019 21:44:24 +0000 (23:44 +0200) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 14 Oct 2019 21:44:24 +0000 (23:44 +0200) | ||
| commit | 90c02d72e5bb0ee0a9f98b12c540cca1b0c9c411 | |
| tree | 1149ed65f27395552ba59aca5eaadaa320b525b2 | tree | snapshot |
| parent | 600fba840c748f67593838673a6eb40eab9b68e5 | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/dynamic/cnv_cpce_etc.ma | diff | blob | history |