]> matita.cs.unibo.it Git - helm.git/commit
initial steps of convertibility
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 19 Feb 2008 11:13:39 +0000 (11:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 19 Feb 2008 11:13:39 +0000 (11:13 +0000)
commit3fb743f1c1fd5f5e49df2c5322e8c96a1a6ede67
treeabe8ea80900c9c7af0ec091354c6e9086d005e89
parent0ec61cd3d3fe2bf43b75fc94800af0c23cfa8c3b
initial steps of convertibility
helm/software/components/ng_kernel/nCicReduction.ml
helm/software/components/ng_kernel/nCicReduction.mli