]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_refiner/nCicRefiner.ml
coercions are there, but not heavily tested
[helm.git] / helm / software / components / ng_refiner / nCicRefiner.ml
2008-12-05 Enrico Tassicoercions are there, but not heavily tested
2008-12-04 Enrico TassiFixes:
2008-11-28 Enrico Tassiit works!
2008-11-28 Enrico Tassimetas for terms have height 3
2008-11-06 Enrico Tassibetter error messages. sorts are compared using whd
2008-10-27 Enrico Tassimany bugs fixed
2008-10-21 Enrico Tassi- mk_restricted_irl removed, the non-optimized code...
2008-10-20 Enrico Tassi...
2008-10-15 Enrico Tassisome bug fixed
2008-10-14 Enrico Tassimore work
2008-10-14 Enrico Tassiterm refinement almost done, some functions exported...
2008-10-13 Enrico Tassiinitial refiner ....
2008-09-16 Enrico Tassi...