]> matita.cs.unibo.it Git - helm.git/commit
We do not need to give cprop a special status yet.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 May 2008 23:01:48 +0000 (23:01 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 May 2008 23:01:48 +0000 (23:01 +0000)
commit22c254f98842cf7b6f94189625e4936a169bdfb1
treefeb28ec1167a16c9b60cf2e4150bb8da8ab6d8cf
parent283c65c5e52db9bc3ee712358faa6cd6b48d38d0
We do not need to give cprop a special status yet.
helm/software/components/ng_kernel/nCicEnvironment.ml
helm/software/components/ng_kernel/nCicEnvironment.mli