]> matita.cs.unibo.it Git - helm.git/commit
some more on equalities
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Jun 2006 11:47:25 +0000 (11:47 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Jun 2006 11:47:25 +0000 (11:47 +0000)
commit938823007263452cd877b06865a555e1f06c1ede
treec5127fac956664efcbc2b67e909ffd0272052482
parent6c3adf6a75239adaec4ece3e91fe7efba83f69a3
some more on equalities
helm/software/components/cic/libraryObjects.ml
helm/software/components/cic/libraryObjects.mli