]> matita.cs.unibo.it Git - helm.git/commit
symmetry of equality NOT used in auto
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 7 Dec 2004 08:25:12 +0000 (08:25 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 7 Dec 2004 08:25:12 +0000 (08:25 +0000)
commit1fe616bda25a6208c4d19f61220e570c71bcc25a
treea29918603dacd12cd1120ac83f0bac8ef0d0cc53
parent118c6bda722a65bf13b09efaa25ee391f2955dae
symmetry of equality NOT used in auto
helm/ocaml/metadata/metadataConstraints.ml