]> matita.cs.unibo.it Git - helm.git/commit
does_not_occur exported to be used in oCic2NCic
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Apr 2008 18:09:01 +0000 (18:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Apr 2008 18:09:01 +0000 (18:09 +0000)
commit48e318104379fb77181c88e83afc5c4814aaba99
treeed051863c61a5280b597587606380d5716e625a6
parentc4b189a6732274861fa93587019af6d5206f9a79
does_not_occur exported to be used in oCic2NCic
helm/software/components/cic_proof_checking/cicTypeChecker.mli