]> matita.cs.unibo.it Git - helm.git/commit
added support for multi-aliases in disambiguation environment(s)
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Sep 2005 16:02:02 +0000 (16:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Sep 2005 16:02:02 +0000 (16:02 +0000)
commit35c68efd0a44da26d4aa6ae760ee03712b33dfed
tree5645a6fc0fa5c384694fa5660844f00f22b7fa1b
parentedad2cd49734428c522afaa01201bb0a49346d42
added support for multi-aliases in disambiguation environment(s)
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_disambiguation/disambiguate.mli
helm/ocaml/cic_disambiguation/disambiguatePp.ml
helm/ocaml/cic_disambiguation/disambiguateTypes.ml
helm/ocaml/cic_disambiguation/disambiguateTypes.mli