]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_refiner/Makefile
First attempt to implement unification hints.
[helm.git] / helm / software / components / ng_refiner / Makefile
2008-12-15 Wilmer RicciottiFirst attempt to implement unification hints.
2008-12-05 Enrico Tassicoercions are there, but not heavily tested
2008-09-16 Enrico Tassi...
2008-09-16 Enrico Tassi...
2008-09-16 Enrico Tassi...
2008-09-16 Enrico Tassinew directory for the newGeneration refiner