]> matita.cs.unibo.it Git - helm.git/commit
A few modifications, here and there...
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 22 Jan 2004 15:27:59 +0000 (15:27 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 22 Jan 2004 15:27:59 +0000 (15:27 +0000)
commit2e062d07e358eb95f0dcbec8fcdfbc2a4fb9ae1f
treee3433c15b79cf39cba2d5ce157e5d60c97e64892
parentcfaa4ba59014ccb6046a2a672e97a5e88d7d2946
A few modifications, here and there...
helm/ocaml/cic_omdoc/cic2acic.ml
helm/ocaml/cic_omdoc/cic2acic.mli
helm/ocaml/cic_omdoc/cic2content.ml
helm/ocaml/cic_omdoc/cic2content.mli
helm/ocaml/cic_omdoc/content.ml
helm/ocaml/cic_omdoc/doubleTypeInference.ml
helm/ocaml/cic_omdoc/doubleTypeInference.mli
helm/ocaml/cic_omdoc/eta_fixing.ml