]> matita.cs.unibo.it Git - helm.git/commit
slow example
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 6 Oct 2008 16:53:01 +0000 (16:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 6 Oct 2008 16:53:01 +0000 (16:53 +0000)
commit68e7533f986352a86ea0288909b27f83d44893a6
treea9810d651ef66be27bf5d085d5fcbcbe3950cbc6
parent7d470885cbbe8c7c102c390eef61e26bff1686c0
slow example
helm/software/components/ng_refiner/check.ml
helm/software/components/ng_refiner/esempio.ma
helm/software/components/ng_refiner/nCicUnification.ml