]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 118c6bd) | patch
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
treea29918603dacd12cd1120ac83f0bac8ef0d0cc53tree | snapshot
parent118c6bda722a65bf13b09efaa25ee391f2955daecommit | diff
symmetry of equality NOT used in auto
helm/ocaml/metadata/metadataConstraints.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.