]> matita.cs.unibo.it Git - helm.git/commit
The disambiguation now returns a list of interpretations.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 2 Mar 2004 13:18:13 +0000 (13:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 2 Mar 2004 13:18:13 +0000 (13:18 +0000)
commitdccf88890f1f9f8c8139f67aa7a26f8339b13502
tree8470800a6527538262a33513490a72c4640315e1
parent36aa72077bd8753ccbb2a047d65a2886e984e853
The disambiguation now returns a list of interpretations.
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_disambiguation/disambiguate.mli
helm/ocaml/cic_disambiguation/disambiguateTypes.ml
helm/ocaml/cic_disambiguation/disambiguateTypes.mli