]> matita.cs.unibo.it Git - helm.git/commit
1. some "try ... with _ " removed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Oct 2006 07:20:13 +0000 (07:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Oct 2006 07:20:13 +0000 (07:20 +0000)
commit2a12ea82de3c63b05b06e3a21e434dd56b427568
treedad78c2a890417545f89ac83b3965d7eca2cb32e
parent6558b3742901cee9fe47fa2dd204c365f57a89a8
1. some "try ... with _ " removed
2. type inference of LetIn terms is now closer than the kernel
3. LetIn code fixed to add the type to the Defs in the environment
4. some typos fixed
helm/software/components/cic_unification/cicRefine.ml