]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe109b1) | patch
More work on inserting UnsafeCoerce in argument applications only when needed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Sep 2012 16:42:51 +0000 (16:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 19 Sep 2012 16:42:51 +0000 (16:42 +0000)
commit99c7be7031e506c7ad4a6c5e3f12ad5ae542b049
treec3e13791bf77f8fe192fa7d142915e4be54f2823tree | snapshot
parentfe109b10677871f9d29803c378e1ffa6c9e8501ccommit | diff
More work on inserting UnsafeCoerce in argument applications only when needed.
matita/components/ng_kernel/nCicExtraction.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.