]> matita.cs.unibo.it Git - helm.git/commit
CProp dropped in favour of a cprop universe exported from NCicEnvironment,
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 May 2008 23:00:11 +0000 (23:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 May 2008 23:00:11 +0000 (23:00 +0000)
commit57e708bca8555d6146c4e3d07c0a9b6a546373ce
tree127756315180da51353985da8e5634dcd803a443
parentf4d71b463ae8510e80a40cf4df475d19fab3df2c
CProp dropped in favour of a cprop universe exported from NCicEnvironment,
which is just an URI recognized by the pretty printer.
helm/software/components/ng_kernel/.depend
helm/software/components/ng_kernel/TEST
helm/software/components/ng_kernel/check.ml
helm/software/components/ng_kernel/nCic.ml
helm/software/components/ng_kernel/nCic2OCic.ml
helm/software/components/ng_kernel/nCicEnvironment.ml
helm/software/components/ng_kernel/nCicEnvironment.mli
helm/software/components/ng_kernel/nCicPp.ml
helm/software/components/ng_kernel/nCicTypeChecker.ml
helm/software/components/ng_kernel/oCic2NCic.ml