projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 25 Jul 2011 21:01:03 +0000 (21:01 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 25 Jul 2011 21:01:03 +0000 (21:01 +0000) | ||
| commit | dde568d876a5d2e1b6e554a526c98b09b145d25a | |
| tree | 45c55e2a157cbc5acf76653e797ca3a3fbb4d217 | tree | snapshot |
| parent | d1c48262d83ff5917fe5ad0d5cbbed8d686c046a | commit | diff |
| matita/matita/lib/lambda-delta/reduction/tpr_tpr.ma | diff | blob | history | |
| matita/matita/lib/lambda-delta/substitution/lift_weight.ma | diff | blob | history |