]>
author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Tue, 18 Jan 2022 15:52:11 +0000 (16:52 +0100) | ||
committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
Tue, 18 Jan 2022 15:52:11 +0000 (16:52 +0100) | ||
commit | ab63ef8e3b4029307eea9646b099c04a1d499653 | |
tree | e1b09f07c694543c3518ff49403a43db962d9661 | tree | snapshot |
parent | ac8d0dc0c6fb995736e0c10486d996bd023f3c32 | commit | diff |
matita/matita/contribs/lambdadelta/ground/lib/logic.ma | diff | blob | history | |
matita/matita/contribs/lambdadelta/ground/lib/subset.ma | diff | blob | history | |
matita/matita/contribs/lambdadelta/ground/lib/subset_ext.ma | [new file with mode: 0644] | blob |
matita/matita/contribs/lambdadelta/ground/lib/subset_ext_equivalence.ma | [new file with mode: 0644] | blob |
matita/matita/contribs/lambdadelta/ground/lib/subset_ext_inclusion.ma | [new file with mode: 0644] | blob |
matita/matita/contribs/lambdadelta/ground/notation/relations/not_epsilon_3.ma | [new file with mode: 0644] | blob |
matita/matita/predefined_virtuals.ml | diff | blob | history |