]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 20 Oct 2008 08:12:43 +0000 (08:12 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 20 Oct 2008 08:12:43 +0000 (08:12 +0000)
commit1ee5193677b8e2a80d4f068ee79ecac335de1196
treec534f14f8a31e9c097eb13404136a756b44e3015
parentf36588e673e67f0758fdbec52baa515a28fd9a7a
...
helm/software/components/ng_kernel/TODO
helm/software/components/ng_kernel/nCicEnvironment.ml
helm/software/components/ng_kernel/nCicEnvironment.mli
helm/software/components/ng_refiner/.depend.opt
helm/software/components/ng_refiner/check.ml
helm/software/components/ng_refiner/nCicRefiner.ml
helm/software/components/ng_refiner/nCicUnification.ml
helm/software/matita/contribs/dama/dama/ordered_uniform.ma
helm/software/matita/library/depends