projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 20 Jan 2022 19:42:34 +0000 (20:42 +0100) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Thu, 20 Jan 2022 19:42:34 +0000 (20:42 +0100) | ||
| commit | 513a56a5990201abcf038e7242779e2d73621c86 | |
| tree | 6b532cf53c2a61e9b85bc83010217d8ed2678548 | tree | snapshot |
| parent | cfd201c62dd9b854bfb4ada648d3e556b29fac3a | commit | diff |
| matita/matita/contribs/lambdadelta/ground/lib/list_append.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/ground/lib/list_rcons.ma | diff | blob | history |