]> matita.cs.unibo.it Git - helm.git/commit
update in lib
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 8 Jun 2022 17:49:26 +0000 (19:49 +0200)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 8 Jun 2022 17:49:26 +0000 (19:49 +0200)
commit969cce2e68f83cfc3fdfc13b6cea4c920d7c51d5
tree2ef7f783be9cb7db558bdc5f985c3b9371840ba4
parent255976c0e9096f1f6931fdfc15bae04b5af96c0c
update  in lib

+ notation for overlap decentralized
matita/matita/lib/basics/core_notation.ma
matita/matita/lib/basics/core_notation/overlaps_2.ma [new file with mode: 0644]
matita/matita/lib/hott/notations.ma