]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3cfb97) | patch
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)
commit00d48171bacce45b5e7fcc17d841694aee4dba70
treeed646e88aa30ee01cf3e483ddec2e7deba355d8atree | snapshot
parenta3cfb9758bac98014c32e88bdbc08f2c3bcd7a70commit | diff
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
components/cic_unification/cicRefine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.