]> matita.cs.unibo.it Git - helm.git/commit
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
tree52c02518edcf68d57237301fb175aae3524b9396
parent080122687296a86b1a0c1e1ed67fb7a79bd84ec6
the explicit type in a LetIn must be typecheckd before convertibility is checked
helm/software/components/cic_proof_checking/cicTypeChecker.ml