projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 4 Sep 2022 19:25:25 +0000 (21:25 +0200) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sun, 4 Sep 2022 19:25:25 +0000 (21:25 +0200) | ||
| commit | 41a54a797af98d2867d4bf979d424283fb44a1fc | |
| tree | f5cc3cbf85e5af2e1e9dca9feb48edb8780637bb | tree | snapshot |
| parent | 6183fdeb092e83ddb5d0da61f8da87a9bcde8569 | commit | diff |
| matita/matita/contribs/lambdadelta/ground/arith/nat_le_pred.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/ground/relocation/tr_uni_compose.ma | diff | blob | history |