]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0801226) | patch
the explicit type in a LetIn must be typecheckd before convertibility is checked
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Apr 2008 14:31:03 +0000 (14:31 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 7 Apr 2008 14:31:03 +0000 (14:31 +0000)
commit442c8011ba8aca1a0f37226bfe3033a220bb71e3
tree52c02518edcf68d57237301fb175aae3524b9396tree | snapshot
parent080122687296a86b1a0c1e1ed67fb7a79bd84ec6commit | diff
the explicit type in a LetIn must be typecheckd before convertibility is checked
helm/software/components/cic_proof_checking/cicTypeChecker.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.