]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_kernel/nCicUtils.ml
...
[helm.git] / helm / software / components / ng_kernel / nCicUtils.ml
2008-09-24 Enrico Tassi...
2008-09-22 Enrico Tassinew iterator
2008-05-19 Enrico Tassiadded leftno to references f inductive types and constr...
2008-05-14 Claudio Sacerdoti... map_hash moved to HExtlib
2008-05-14 Claudio Sacerdoti... New licence used uniformly everywhere.
2008-05-13 Claudio Sacerdoti... - is_closed removed from the kernel (it used to make...
2008-05-13 Claudio Sacerdoti... Type of conjecture and subst_entry made uniform.
2008-04-04 Enrico Tassiiterator map was mapping Lambdas to Prods!!!
2008-03-31 Claudio Sacerdoti... 1) more sharing everywhere in NCicSubstitution
2008-03-27 Enrico Tassimore cases of the type checker honoured, still missing...
2008-03-27 Enrico Tassiadded is_closed to nCicUtils.
2008-03-27 Enrico Tassiadded iterators over NCic terms
2008-02-18 Enrico Tassisome bits of reduction, reusing psubst
2008-02-13 Enrico Tassireorganization of sources