]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 Sep 2008 10:23:35 +0000 (10:23 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 Sep 2008 10:23:35 +0000 (10:23 +0000)
commit1f0e9fc3bf85b8a7aa0876051bf4788252a41f44
tree557fd92e3e184c6e15c478c3ce31ea94d653b3b4
parent0448cf97e7d6bcb819aba8a10f53de98c94bc58d
...
helm/software/components/ng_refiner/.depend
helm/software/components/ng_refiner/.depend.opt
helm/software/components/ng_refiner/discrimination_tree.ml [deleted file]
helm/software/components/ng_refiner/discrimination_tree.mli [deleted file]
helm/software/components/ng_refiner/nDiscriminationTree.ml [new file with mode: 0644]
helm/software/components/ng_refiner/nDiscriminationTree.mli [new file with mode: 0644]