projects / helm.git / commit
| author | Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it> | |
| Tue, 4 Jan 2022 15:48:03 +0000 (16:48 +0100) | ||
| committer | Ferruccio Guidi <fguidi@maelstrom.helm.cs.unibo.it> | |
| Tue, 4 Jan 2022 15:48:03 +0000 (16:48 +0100) | ||
| commit | 5489d0b66ed7bff17b9dedb89708f57f1d542adc | |
| tree | 026ddedaebc97ccea5569a114b03cdd8713825ec | tree | snapshot |
| parent | 8db3579bec4d9a97af526f95a179587a2fbfe3e3 | commit | diff |
| matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/delayed_updating/substitution/lift_structure.ma | diff | blob | history |