]> matita.cs.unibo.it Git - helm.git/commit
better debuggin output
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 3 Oct 2008 09:11:11 +0000 (09:11 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 3 Oct 2008 09:11:11 +0000 (09:11 +0000)
commit1370320539f00fd49d8a6503bdb8fdbf54c4f983
tree3dadfc1a473c429332d1e8c3367a481aa1ab0fa8
parente8fb6062a3c126dc242ee7bc44a696d73ca8ed76
better debuggin output
helm/software/components/ng_refiner/check.ml
helm/software/components/ng_refiner/nCicUnification.ml
helm/software/components/ng_refiner/rt.ml