projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 8 Jun 2022 17:49:26 +0000 (19:49 +0200) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 8 Jun 2022 17:49:26 +0000 (19:49 +0200) | ||
| commit | 969cce2e68f83cfc3fdfc13b6cea4c920d7c51d5 | |
| tree | 2ef7f783be9cb7db558bdc5f985c3b9371840ba4 | tree | snapshot |
| parent | 255976c0e9096f1f6931fdfc15bae04b5af96c0c | commit | diff |
| matita/matita/lib/basics/core_notation.ma | diff | blob | history | |
| matita/matita/lib/basics/core_notation/overlaps_2.ma | [new file with mode: 0644] | blob |
| matita/matita/lib/hott/notations.ma | diff | blob | history |