]> matita.cs.unibo.it Git - helm.git/commit
ported to CicAst
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Feb 2004 09:43:15 +0000 (09:43 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Feb 2004 09:43:15 +0000 (09:43 +0000)
commit0d853dfc19b683f5d37741df405a2db721f7221a
treeb15825c048a11a6b9521624031400390f465182b
parentf67ef877debe15f14da063eff415fd1748b33e54
ported to CicAst
helm/ocaml/cic_disambiguation/.depend
helm/ocaml/cic_disambiguation/Makefile
helm/ocaml/cic_disambiguation/arit_notation.ml
helm/ocaml/cic_disambiguation/disambiguateTypes.ml
helm/ocaml/cic_disambiguation/disambiguateTypes.mli
helm/ocaml/cic_disambiguation/logic_notation.ml