projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 25 Sep 2020 21:56:49 +0000 (23:56 +0200) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Fri, 25 Sep 2020 21:56:49 +0000 (23:56 +0200) | ||
| commit | 2b7797235d69608e4221b287480949961aaa3948 | |
| tree | e5b3f646111e8763c68704215907ac30d004c37e | tree | snapshot |
| parent | e23331eef5817eaa6c5e1c442d1d6bbb18650573 | commit | diff |
| matita/matita/lib/lambda/etc/cons_r.etc | [new file with mode: 0644] | blob |
| matita/matita/lib/lambda/terms/supercombinator.ma | [new file with mode: 0644] | blob |