]> matita.cs.unibo.it Git - helm.git/commit
Added boolean "is_inductive" to NReference.Ind
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 May 2008 09:40:21 +0000 (09:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 May 2008 09:40:21 +0000 (09:40 +0000)
commit7f5d0adf3d44aa3e52e882dbe5f42358b8ee96cf
tree9fdbb55f2a649aec5f681016e793835491035235
parent9ae6d985833cf9e6855f41c942dc3c3d24af10e0
Added boolean "is_inductive" to NReference.Ind
helm/software/components/ng_kernel/.depend.opt
helm/software/components/ng_kernel/alluris.txt
helm/software/components/ng_kernel/nCic2OCic.ml
helm/software/components/ng_kernel/nCicEnvironment.ml
helm/software/components/ng_kernel/nCicPp.ml
helm/software/components/ng_kernel/nCicTypeChecker.ml
helm/software/components/ng_kernel/nReference.ml
helm/software/components/ng_kernel/nReference.mli
helm/software/components/ng_kernel/oCic2NCic.ml