]> matita.cs.unibo.it Git - helm.git/commit
eq -> eq0 renaming
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 22 Jul 2010 08:05:08 +0000 (08:05 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 22 Jul 2010 08:05:08 +0000 (08:05 +0000)
commit4efe53bc2098939c255d5b03941212549f89a1bd
tree299dbe68343e50dc23023a72a40ef66e33f75bba
parent3e373f30525987b7b121ed74c8a1292dc71d185c
eq -> eq0 renaming
helm/software/matita/nlibrary/sets/setoids.ma
helm/software/matita/nlibrary/sets/setoids1.ma
helm/software/matita/nlibrary/sets/setoids2.ma
helm/software/matita/nlibrary/sets/sets.ma