projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 27 Dec 2022 16:08:00 +0000 (17:08 +0100) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 27 Dec 2022 16:08:00 +0000 (17:08 +0100) | ||
| commit | cf2a049a6cc888f6c5d0637ab0523f186058fc8f | |
| tree | 5388703a74829a9426a8468fe92c2b34623f67e8 | tree | snapshot |
| parent | d89ef541a62a996a7e7fa4d4a1cfc3b28d7862e5 | commit | diff |
| matita/matita/contribs/lambdadelta/delayed_updating/reduction/dbfr_unprotected_neg.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/delayed_updating/reduction/dbfr_unprotected_zero.ma | [deleted file] | blob | history |