]>
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 |