projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 8 Jun 2022 18:27:49 +0000 (20:27 +0200) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 8 Jun 2022 18:27:49 +0000 (20:27 +0200) | ||
| commit | 6f1b6f85a78d4c8da42f035f433fe4b85962bd9b | |
| tree | 10660bdb23f2ae6789963c4ddfe9b5e5cde64e6c | tree | snapshot |
| parent | 969cce2e68f83cfc3fdfc13b6cea4c920d7c51d5 | commit | diff |
| matita/matita/contribs/lambdadelta/ground/lib/subset_overlap.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/ground/notation/relations/between_3.ma | [new file with mode: 0644] | blob |
| matita/matita/contribs/lambdadelta/ground/notation/relations/not_between_3.ma | [new file with mode: 0644] | blob |