]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
re 16.4 almost done
[helm.git] / helm / software / matita / nlibrary /
2009-12-30 Claudio Sacerdoti... Almost done (up to definition of category). tree | commitdiff
2009-12-30 Claudio Sacerdoti... Porting of Sambin's stuff started. tree | commitdiff
2009-12-30 Claudio Sacerdoti... Porting of Sambin's stuff started. tree | commitdiff
2009-12-30 Claudio Sacerdoti... Removed line is back again. tree | commitdiff
2009-12-30 Claudio Sacerdoti... ... tree | commitdiff
2009-12-15 Andrea Aspertieq_coerc for smart application. tree | commitdiff
2009-12-02 Andrea AspertiPropositional equality tree | commitdiff
2009-11-17 Wilmer Ricciottindestruct tactic: mainly bugfixes; the algorithm isn... tree | commitdiff
2009-11-16 Wilmer RicciottiImplementation of ndestruct tactic (including destructi... tree | commitdiff
2009-10-28 Claudio Sacerdoti... Different aliases, better equality inferred. tree | commitdiff
2009-10-28 Claudio Sacerdoti... instances tree | commitdiff
2009-10-28 Claudio Sacerdoti... instance fixed tree | commitdiff
2009-10-23 Enrico TassiCSC proof made by paramod tree | commitdiff
2009-10-23 Claudio Sacerdoti... Alias required now ?? tree | commitdiff
2009-10-22 Enrico Tassinew instantiate, only known bug is w.r.t. in/out scope... tree | commitdiff
2009-10-22 Enrico Tassimore auto tree | commitdiff
2009-10-21 Claudio Sacerdoti... Non general recursion implemented via recursion over... tree | commitdiff
2009-10-21 Enrico Tassi... tree | commitdiff
2009-10-21 Enrico Tassiauto is smarter :-) tree | commitdiff
2009-10-21 Enrico Tassinauto: tree | commitdiff
2009-10-21 Enrico Tassi... tree | commitdiff
2009-10-21 Enrico Tassifixed pictures tree | commitdiff
2009-10-18 Enrico Tassi... tree | commitdiff
2009-10-17 Enrico Tassibatch pdf generation tree | commitdiff
2009-10-17 Enrico Tassi... tree | commitdiff
2009-10-17 Enrico Tassisome more work tree | commitdiff
2009-10-16 Enrico Tassi... tree | commitdiff
2009-10-16 Enrico Tassi... tree | commitdiff
2009-10-14 Enrico Tassicantor... tree | commitdiff
2009-10-14 Enrico Tassihints were not used by reduction machines on heads tree | commitdiff
2009-10-14 Enrico Tassi... tree | commitdiff
2009-10-14 Enrico Tassi... tree | commitdiff
2009-10-14 Enrico Tassi... tree | commitdiff
2009-10-14 Enrico Tassi... tree | commitdiff
2009-10-14 Enrico Tassi... tree | commitdiff
2009-10-14 Enrico Tassiminor fix tree | commitdiff
2009-10-14 Enrico Tassitons of typo fixed tree | commitdiff
2009-10-13 Enrico Tassi... tree | commitdiff
2009-10-13 Enrico Tassi... tree | commitdiff
2009-10-13 Enrico Tassi... tree | commitdiff
2009-10-13 Enrico Tassi... tree | commitdiff
2009-10-13 Enrico Tassi... tree | commitdiff
2009-10-13 Enrico Tassi... tree | commitdiff
2009-10-13 Wilmer RicciottiExperimental scripts for nth-order rewriting principles. tree | commitdiff
2009-10-13 Enrico Tassi... tree | commitdiff
2009-10-13 Enrico Tassimore comments tree | commitdiff
2009-10-12 Enrico Tassi... tree | commitdiff
2009-10-11 Enrico Tassiauto with intro tree | commitdiff
2009-10-06 Enrico Tassiremoved useless stuff tree | commitdiff
2009-10-06 Enrico Tassisome fixes tree | commitdiff
2009-10-05 Claudio Sacerdoti... ... tree | commitdiff
2009-10-05 Claudio Sacerdoti... ... tree | commitdiff
2009-10-05 Enrico Tassiuffa tree | commitdiff
2009-10-04 Claudio Sacerdoti... ... tree | commitdiff
2009-10-04 Claudio Sacerdoti... Does not compile! Wrong unification hint? tree | commitdiff
2009-10-04 Claudio Sacerdoti... ... tree | commitdiff
2009-10-04 Claudio Sacerdoti... ... tree | commitdiff
2009-10-04 Claudio Sacerdoti... ... tree | commitdiff
2009-10-04 Claudio Sacerdoti... ... tree | commitdiff
2009-10-02 Enrico Tassihints fixed tree | commitdiff
2009-09-30 Claudio Sacerdoti... With this hint, it diverges. tree | commitdiff
2009-09-29 Enrico Tassi... tree | commitdiff
2009-09-29 Claudio Sacerdoti... ... tree | commitdiff
2009-09-29 Enrico Tassi... tree | commitdiff
2009-09-29 Enrico Tassi... tree | commitdiff
2009-09-29 Claudio Sacerdoti... It does not work recursively... tree | commitdiff
2009-09-29 Claudio Sacerdoti... ... tree | commitdiff
2009-09-28 Enrico Tassinon ho resistito! tree | commitdiff
2009-09-28 Claudio Sacerdoti... Experiment... tree | commitdiff
2009-09-28 Claudio Sacerdoti... Experiment... tree | commitdiff
2009-09-25 Enrico Tassi... tree | commitdiff
2009-09-25 Enrico Tassi... tree | commitdiff
2009-09-25 Enrico Tassi... tree | commitdiff
2009-09-24 Enrico Tassi... tree | commitdiff
2009-09-24 Enrico Tassi... tree | commitdiff
2009-09-24 Enrico Tassincheck works in the current ctx tree | commitdiff
2009-09-24 Enrico Tassi... tree | commitdiff
2009-09-24 Enrico Tassi.... tree | commitdiff
2009-09-23 Enrico Tassi... tree | commitdiff
2009-09-23 Enrico Tassi... tree | commitdiff
2009-09-23 Enrico Tassi... tree | commitdiff
2009-09-23 Enrico Tassimore on screenshot tree | commitdiff
2009-09-23 Enrico Tassinew macro screenshot tree | commitdiff
2009-09-22 Enrico Tassi... tree | commitdiff
2009-09-21 Enrico Tassi... tree | commitdiff
2009-09-21 Enrico Tassihuge commit regarding universes: tree | commitdiff
2009-09-18 Claudio Sacerdoti... ... tree | commitdiff
2009-09-17 Enrico Tassimore work for igft tree | commitdiff
2009-09-16 Enrico Tassimore notation for topologies, and some prentheses that... tree | commitdiff
2009-09-16 Enrico Tassisome more work... tree | commitdiff
2009-09-16 Claudio Sacerdoti... New interesting coercion. tree | commitdiff
2009-09-15 Enrico Tassiimproved check in delift for flexible lc entries. tree | commitdiff
2009-09-14 Enrico Tassifixed coercion mechanism w.r.t. undo/require tree | commitdiff
2009-09-14 Claudio Sacerdoti... New tactics ncut and nlapply. tree | commitdiff
2009-09-13 Enrico Tassia nice bug in meta handling is not visible... brr... tree | commitdiff
2009-09-11 Enrico Tassi... tree | commitdiff
2009-09-11 Enrico Tassiconstructor accepts the arguments of the constructor... tree | commitdiff
2009-09-10 Enrico Tassiok, but slow on includes tree | commitdiff
2009-09-10 Enrico Tassinice hints tree | commitdiff
2009-09-10 Enrico Tassiit starts to work tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.