]> matita.cs.unibo.it Git - helm.git/commit
added uri_of_carr
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Jul 2006 17:13:14 +0000 (17:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Jul 2006 17:13:14 +0000 (17:13 +0000)
commit6fb856f244035ba071d60a158fa800104f50072a
tree4ea57c339ac16eb458ce2a7c9886facbb915aaf3
parente271fd61d46f9fa9b1e007e3bc2dd99cbfe5452a
added uri_of_carr
helm/software/components/library/coercDb.ml
helm/software/components/library/coercDb.mli