projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 31 Jan 2022 21:50:04 +0000 (22:50 +0100) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 31 Jan 2022 21:50:04 +0000 (22:50 +0100) | ||
| commit | 538c84b5b1129b34c051c364fdd304f52714482c | |
| tree | ec7e4637232bdd89871b1390b31468163ef7c038 | tree | snapshot |
| parent | f2a1fcef1f05dae5dff517ffc0a8439f6071955b | commit | diff |
| matita/matita/contribs/lambdadelta/ground/lib/subset_ext_equivalence.ma | diff | blob | history | |
| matita/matita/contribs/lambdadelta/ground/lib/subset_ext_inclusion.ma | diff | blob | history |