]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/cic_omdoc/content2cic.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2bd5362) | patch
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
treeeccd2a3b5c73d6b6add3bb3e5011ba5eca923c4atree | snapshot
parent2bd53620e7f5dea5ddef583ba65ce6c32bbad159commit | diff
proof2cic now uses Deannotate.deannoate_term instead of having an input
parameter.
helm/ocaml/cic_omdoc/content2cic.ml diff | blob | history
helm/ocaml/cic_omdoc/content2cic.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.