]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_disambiguation/disambiguate.ml
Experimental localization of errors during refinement and disambiguation.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 26 Nov 2005 15:49:23 +0000 (15:49 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 26 Nov 2005 15:49:23 +0000 (15:49 +0000)
commit8d8ac4a42998970114e43c2fb13ff2c98f7c259a
tree3720f73c22b8bc163cb042062ba3508f14cae77b
parentb2b7dd94197364a06841a8ef178e94fe7bfac57b
Experimental localization of errors during refinement and disambiguation.
helm/matita/matitaDisambiguator.ml
helm/matita/matitaDisambiguator.mli
helm/matita/matitaEngine.ml
helm/matita/matitaExcPp.ml
helm/ocaml/cic_disambiguation/disambiguate.ml
helm/ocaml/cic_disambiguation/disambiguate.mli
helm/ocaml/cic_unification/cicRefine.ml
helm/ocaml/cic_unification/cicRefine.mli