projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 21 Apr 2014 18:35:29 +0000 (18:35 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 21 Apr 2014 18:35:29 +0000 (18:35 +0000) | ||
| commit | 6aab24b40d5d09561375959043ecd85c8b428d85 | |
| tree | fce2cd7b087e7051e3166f65b3491250e4f63d86 | tree | snapshot |
| parent | 75a867276f0485a564e18c103193d8fab1dbfd0e | commit | diff |
| matita/matita/contribs/lambdadelta/basic_2/notation/relations/cofreestar_3.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/basic_2/substitution/cofrees.ma | [new file with mode: 0644] | blob |
| matita/matita/predefined_virtuals.ml | diff | blob | history |