]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/ng_kernel/nCicSubstitution.mli
parameter sintax added to axiom statement
[helm.git] / helm / software / components / ng_kernel / nCicSubstitution.mli
2010-05-12 Wilmer RicciottiExperimental support for Russell (coercions moving...
2010-01-27 Andrea AspertiAdded a parameter no_implicit (default true) to choose...
2008-10-13 Enrico Tassibug in psubst fixed inside local context in Irl form
2008-09-25 Enrico Tassi...
2008-05-15 Andrea AspertiRemoved two args from psubst.
2008-05-14 Claudio Sacerdoti... New licence used uniformly everywhere.
2008-02-18 Enrico Tassisome bits of reduction, reusing psubst
2008-02-13 Enrico Tassisubstituion and lifting implemented