]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d80bd0b) | patch
Trivial bug fixed in type inference of LetIn source types.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Nov 2007 21:46:15 +0000 (21:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Nov 2007 21:46:15 +0000 (21:46 +0000)
commit3c9a0cb82f346f7c3ba2347b6a61f5a7a78180d0
tree0811e77ed5c1fad6215d20f8798c716c7fcfadb8tree | snapshot
parentd80bd0bc5253538759bfb13c98e86d07592a9359commit | diff
Trivial bug fixed in type inference of LetIn source types.
components/cic_exportation/cicExportation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.