]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4b189a) | patch
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
treeed051863c61a5280b597587606380d5716e625a6tree | snapshot
parentc4b189a6732274861fa93587019af6d5206f9a79commit | diff
does_not_occur exported to be used in oCic2NCic
helm/software/components/cic_proof_checking/cicTypeChecker.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.