]> matita.cs.unibo.it Git - helm.git/commit
moved disambiguate module away
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 16:19:22 +0000 (16:19 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Jan 2004 16:19:22 +0000 (16:19 +0000)
commit6d9de12a536ee4b9e369849ff7e9aa4ca464de9d
tree653503b60b2fb48cf3185235f6e742a5d5c9acd5
parentc1cf3479d53bbe813c254433b6b9d4d5839065d2
moved disambiguate module away
helm/gTopLevel/disambiguate.ml [deleted file]
helm/gTopLevel/disambiguate.mli [deleted file]