]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/decidable_kit
...
[helm.git] / helm / software / matita / library / decidable_kit /
2008-06-24 Enrico Tassinotation factored, coercion commant taking terms and...
2008-06-09 Claudio Sacerdoti... Most of the time, URIs can now be replaced with identif...
2008-06-08 Claudio Sacerdoti... generalize no more useful for elim
2008-05-29 Enrico Tassicase not unfilding fixed
2008-05-18 Claudio Sacerdoti... Dummy dependent types are no longer cleaned in inductiv...
2008-04-02 Enrico Tassifixed according to the new rewrite semantics (fails...
2008-03-26 Wilmer RicciottiReorganization of list library (step 1)
2008-03-10 Claudio Sacerdoti... Scripts fixed because of:
2008-03-09 Claudio Sacerdoti... Scripts fixed. They were broken since the change to...
2007-11-12 Ferruccio Guidi- destruct tactic: automatic simplification in case...
2007-11-08 Enrico Tassiported to the new destruct
2007-11-06 Ferruccio Guidinew implementation of the destruct tactic,
2007-10-28 Claudio Sacerdoti... Nil => nil, Cons => cons
2007-10-28 Claudio Sacerdoti... New syntax for match patterns.
2007-09-09 Enrico Tassi...
2007-09-08 Enrico Tassi...
2007-08-30 Enrico Tassimore stuff to reach an intensional definition of finite...
2007-05-24 Enrico Tassiauto and autogui... some work
2007-05-17 Enrico Tassiauto rewritten with only one tail recursive function.
2007-04-18 Enrico Tassimore discriminate
2007-04-16 Enrico Tassibetter simplify
2007-04-16 Enrico Tassiclosed all axioms
2007-04-10 Enrico Tassi...