projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 6 Jul 2022 12:21:03 +0000 (14:21 +0200) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 6 Jul 2022 12:21:03 +0000 (14:21 +0200) | ||
| commit | 14e69a411768d60ce365547c1ffd88d9bef3cdc0 | |
| tree | 5aa9a394035f1ebeeb7fc222ab1d863792ebd23d | tree | snapshot |
| parent | c038f0446312091a30179fd80e6ffd3ec39ab446 | commit | diff |
| matita/matita/contribs/lambdadelta/ground/lib/list_rcons.ma | diff | blob | history |