]> matita.cs.unibo.it Git - helm.git/commit
proof2cic now uses Deannotate.deannoate_term instead of having an input
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 20 Jul 2003 15:58:58 +0000 (15:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 20 Jul 2003 15:58:58 +0000 (15:58 +0000)
commit4d7349fb1ecfb173f64fad0a97884d1d8e738904
treeeccd2a3b5c73d6b6add3bb3e5011ba5eca923c4a
parent2bd53620e7f5dea5ddef583ba65ce6c32bbad159
proof2cic now uses Deannotate.deannoate_term instead of having an input
parameter.
helm/ocaml/cic_omdoc/content2cic.ml
helm/ocaml/cic_omdoc/content2cic.mli