]> matita.cs.unibo.it Git - helm.git/commit
Few modif in eta-fixing.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 Jul 2003 15:42:19 +0000 (15:42 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 28 Jul 2003 15:42:19 +0000 (15:42 +0000)
commit6248703e9f479d4c3edfcf227908ffd9d2dd7adc
tree331ba60718c4d2406fa41d2718d87c53ce5625a1
parent60951dd6218b8436830723dc10d4aed7b6894855
Few modif in eta-fixing.
helm/ocaml/cic_omdoc/cic2content.ml
helm/ocaml/cic_omdoc/contentPp.ml
helm/ocaml/cic_omdoc/contentPp.mli
helm/ocaml/cic_omdoc/eta_fixing.ml