projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 1 Mar 2022 00:14:15 +0000 (01:14 +0100) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Tue, 1 Mar 2022 00:14:15 +0000 (01:14 +0100) | ||
| commit | 36660809dcfb90bea480c84997cfb40f347e0f0c | |
| tree | f524ab10fb413c1f61f912010dc2c06319792f11 | tree | snapshot |
| parent | f717d9ef23433a96583a1bc8ae6b903689d5f033 | commit | diff |
| matita/matita/contribs/lambdadelta/delayed_updating/reduction/dfr_ifr.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_depth.ma | diff | blob | history |