]> matita.cs.unibo.it Git - helm.git/commit
many bugs fixed
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 27 Oct 2008 20:17:39 +0000 (20:17 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 27 Oct 2008 20:17:39 +0000 (20:17 +0000)
commit53be448c4f8ca0b60be92e24f355662a0ea7567f
treebfb7e8092d8481fa152ec5be18cab630c18784b2
parent05adc7f9da7d66a14fd4417911e9f22b9bf9583f
many bugs fixed
helm/software/components/ng_refiner/check.ml
helm/software/components/ng_refiner/nCicMetaSubst.ml
helm/software/components/ng_refiner/nCicRefiner.ml
helm/software/components/ng_refiner/nCicUnification.ml