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