projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 3 Jun 2013 13:51:45 +0000 (13:51 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 3 Jun 2013 13:51:45 +0000 (13:51 +0000) | ||
| commit | 16028dc6f1277777c8e2bf9c16614f24b171309f | |
| tree | 6e6e0b154f50e6e31978eb886b3281e06b4889c3 | tree | snapshot |
| parent | e2fd96302d52266bec42a19f100dadc6111fc07b | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/substitution/fsupp.ma | diff | blob | history |