]>
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 |