]> matita.cs.unibo.it Git - helm.git/commit
ported to the Cic LetIn with explicit type
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 25 Mar 2008 15:51:59 +0000 (15:51 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 25 Mar 2008 15:51:59 +0000 (15:51 +0000)
commitb059fe5ee46d45bc2985b0f46f6a69b4b3be248b
tree6fce96b2d59bbe4a14328a3823d263297d93e187
parent0dfcbb8be78db7bee20f7ac8c909179ccffbaa6c
ported to the Cic LetIn with explicit type
helm/software/components/ng_kernel/nCic2OCic.ml
helm/software/components/ng_kernel/oCic2NCic.ml