]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary
freescale porting
[helm.git] / helm / software / matita / nlibrary /
2010-01-21 Andrea AspertiEsempio
2010-01-19 Claudio Sacerdoti... We can always use the "covered by emptyset" relation...
2010-01-18 Claudio Sacerdoti... More //.
2010-01-18 Claudio Sacerdoti... More // everywhere.
2010-01-18 Claudio Sacerdoti... // used everywhere!
2010-01-18 Claudio Sacerdoti... // in place of nauto everywhere
2010-01-18 Claudio Sacerdoti... // is now more powerful
2010-01-18 Claudio Sacerdoti... // is now more powerful
2010-01-18 Andrea AspertiUpdating.
2010-01-15 Claudio Sacerdoti... A slightly more complicated example.
2010-01-15 Claudio Sacerdoti... Finished!
2010-01-15 Claudio Sacerdoti... We are still equivalent (even if the definition of...
2010-01-15 Claudio Sacerdoti... Urrah!
2010-01-15 Claudio Sacerdoti... Extending to the nAx set.
2010-01-15 Claudio Sacerdoti... Skipfact function (a partial general recursive function...
2010-01-08 Claudio Sacerdoti... Categorical stuff postponed.
2010-01-08 Andrea Aspertirebuilding the library
2010-01-08 Andrea Aspertirebuilding the library
2010-01-08 Andrea Aspertirebuilding the library
2010-01-06 Claudio Sacerdoti... Simplified.
2010-01-06 Claudio Sacerdoti... Coercions via unification hints?
2010-01-02 Claudio Sacerdoti... 1) stuff moved from categories.ma to setoids*.ma
2009-12-30 Enrico Tassi...
2009-12-30 Claudio Sacerdoti... Almost done (up to definition of category).
2009-12-30 Claudio Sacerdoti... Porting of Sambin's stuff started.
2009-12-30 Claudio Sacerdoti... Porting of Sambin's stuff started.
2009-12-30 Claudio Sacerdoti... Removed line is back again.
2009-12-30 Claudio Sacerdoti... ...
2009-12-15 Andrea Aspertieq_coerc for smart application.
2009-12-02 Andrea AspertiPropositional equality
2009-11-17 Wilmer Ricciottindestruct tactic: mainly bugfixes; the algorithm isn...
2009-11-16 Wilmer RicciottiImplementation of ndestruct tactic (including destructi...
2009-10-28 Claudio Sacerdoti... Different aliases, better equality inferred.
2009-10-28 Claudio Sacerdoti... instances
2009-10-28 Claudio Sacerdoti... instance fixed
2009-10-23 Enrico TassiCSC proof made by paramod
2009-10-23 Claudio Sacerdoti... Alias required now ??
2009-10-22 Enrico Tassinew instantiate, only known bug is w.r.t. in/out scope...
2009-10-22 Enrico Tassimore auto
2009-10-21 Claudio Sacerdoti... Non general recursion implemented via recursion over...
2009-10-21 Enrico Tassi...
2009-10-21 Enrico Tassiauto is smarter :-)
2009-10-21 Enrico Tassinauto:
2009-10-21 Enrico Tassi...
2009-10-21 Enrico Tassifixed pictures
2009-10-18 Enrico Tassi...
2009-10-17 Enrico Tassibatch pdf generation
2009-10-17 Enrico Tassi...
2009-10-17 Enrico Tassisome more work
2009-10-16 Enrico Tassi...
2009-10-16 Enrico Tassi...
2009-10-14 Enrico Tassicantor...
2009-10-14 Enrico Tassihints were not used by reduction machines on heads
2009-10-14 Enrico Tassi...
2009-10-14 Enrico Tassi...
2009-10-14 Enrico Tassi...
2009-10-14 Enrico Tassi...
2009-10-14 Enrico Tassi...
2009-10-14 Enrico Tassiminor fix
2009-10-14 Enrico Tassitons of typo fixed
2009-10-13 Enrico Tassi...
2009-10-13 Enrico Tassi...
2009-10-13 Enrico Tassi...
2009-10-13 Enrico Tassi...
2009-10-13 Enrico Tassi...
2009-10-13 Enrico Tassi...
2009-10-13 Wilmer RicciottiExperimental scripts for nth-order rewriting principles.
2009-10-13 Enrico Tassi...
2009-10-13 Enrico Tassimore comments
2009-10-12 Enrico Tassi...
2009-10-11 Enrico Tassiauto with intro
2009-10-06 Enrico Tassiremoved useless stuff
2009-10-06 Enrico Tassisome fixes
2009-10-05 Claudio Sacerdoti... ...
2009-10-05 Claudio Sacerdoti... ...
2009-10-05 Enrico Tassiuffa
2009-10-04 Claudio Sacerdoti... ...
2009-10-04 Claudio Sacerdoti... Does not compile! Wrong unification hint?
2009-10-04 Claudio Sacerdoti... ...
2009-10-04 Claudio Sacerdoti... ...
2009-10-04 Claudio Sacerdoti... ...
2009-10-04 Claudio Sacerdoti... ...
2009-10-02 Enrico Tassihints fixed
2009-09-30 Claudio Sacerdoti... With this hint, it diverges.
2009-09-29 Enrico Tassi...
2009-09-29 Claudio Sacerdoti... ...
2009-09-29 Enrico Tassi...
2009-09-29 Enrico Tassi...
2009-09-29 Claudio Sacerdoti... It does not work recursively...
2009-09-29 Claudio Sacerdoti... ...
2009-09-28 Enrico Tassinon ho resistito!
2009-09-28 Claudio Sacerdoti... Experiment...
2009-09-28 Claudio Sacerdoti... Experiment...
2009-09-25 Enrico Tassi...
2009-09-25 Enrico Tassi...
2009-09-25 Enrico Tassi...
2009-09-24 Enrico Tassi...
2009-09-24 Enrico Tassi...
2009-09-24 Enrico Tassincheck works in the current ctx
2009-09-24 Enrico Tassi...
next