]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a119af) | patch
Implementation of existential type improved (more strict checking).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 16 Jun 2009 21:58:28 +0000 (21:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 16 Jun 2009 21:58:28 +0000 (21:58 +0000)
commit33435f271509f4888d44f9446b078eeebbe71519
treeb42c6913c9bad5b4ae2c3aefe60fb1b01b818410tree | snapshot
parent8a119afd68f41a644904de45357b9b4ce441d7eecommit | diff
Implementation of existential type improved (more strict checking).
helm/software/components/ng_kernel/nCicLibrary.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.