projects / helm.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
helm.git
2010-02-04 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-02-04 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-02-03 Claudio Sacerdoti... ... commit | commitdiff | tree | snapshot
2010-02-03 Claudio Sacerdoti... End of curryfication of binary_morphisms. commit | commitdiff | tree | snapshot
2010-02-03 Claudio Sacerdoti... Curryfication of binary_morphisms. commit | commitdiff | tree | snapshot
2010-02-03 Claudio Sacerdoti... Curryfication of binary setoids. commit | commitdiff | tree | snapshot
2010-02-03 Claudio Sacerdoti... Curryfication of binary morphisms. commit | commitdiff | tree | snapshot
2010-02-03 Claudio Sacerdoti... Work in Progress: Who needs binary_morphisms? Curryfica... commit | commitdiff | tree | snapshot
2010-02-03 Wilmer RicciottiDisabled debug prints in ndestruct tactic. commit | commitdiff | tree | snapshot
2010-02-03 Claudio Sacerdoti... Debug code commented out. commit | commitdiff | tree | snapshot
2010-02-03 Claudio Sacerdoti... Parts of the status were not re-initialized correctly... commit | commitdiff | tree | snapshot
2010-02-03 Claudio Sacerdoti... Bad variable name fixed. commit | commitdiff | tree | snapshot
2010-02-03 Claudio Sacerdoti... Bug fixed: projection redexes obtained reducing other... commit | commitdiff | tree | snapshot
2010-02-02 Wilmer RicciottiNew version using Streicher's K axiom. Should be faster... commit | commitdiff | tree | snapshot
2010-02-02 Wilmer RicciottiAdded Streicher's K axiom. commit | commitdiff | tree | snapshot
2010-02-02 Wilmer RicciottiFixed a bug with indexed inductive types which sometime... commit | commitdiff | tree | snapshot
2010-02-02 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-02-02 Andrea Aspertilists commit | commitdiff | tree | snapshot
2010-02-02 Andrea AspertiBooleans commit | commitdiff | tree | snapshot
2010-02-02 Andrea Aspertiboolean arithmetics commit | commitdiff | tree | snapshot
2010-02-02 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-02-01 Cosimo Oliboni(no commit message) commit | commitdiff | tree | snapshot
2010-02-01 Andrea Aspertiminus commit | commitdiff | tree | snapshot
2010-02-01 Andrea AspertiOn the last goal at maxdepth we stop at the first solution. commit | commitdiff | tree | snapshot
2010-01-31 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-30 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-30 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-29 Andrea Aspertiminus in nat.ma commit | commitdiff | tree | snapshot
2010-01-29 Andrea AspertiNuova gestione della width. commit | commitdiff | tree | snapshot
2010-01-29 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-28 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-27 Andrea Aspertile_arith commit | commitdiff | tree | snapshot
2010-01-27 Andrea AspertiUnfolded exact letins during proof reconstruction. commit | commitdiff | tree | snapshot
2010-01-27 Andrea AspertiAdded a parameter no_implicit (default true) to choose... commit | commitdiff | tree | snapshot
2010-01-27 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-26 Andrea Aspertile_arith commit | commitdiff | tree | snapshot
2010-01-25 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-25 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-24 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-23 Cosimo Oliboni(no commit message) commit | commitdiff | tree | snapshot
2010-01-23 Cosimo Oliboni(no commit message) commit | commitdiff | tree | snapshot
2010-01-22 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-22 Cosimo Oliboni freescale porting commit | commitdiff | tree | snapshot
2010-01-21 Cosimo Oliboni(no commit message) commit | commitdiff | tree | snapshot
2010-01-21 Andrea AspertiEsempio commit | commitdiff | tree | snapshot
2010-01-21 Cosimo Oliboni(no commit message) commit | commitdiff | tree | snapshot
2010-01-21 Cosimo Oliboni freescale porting, work in progress commit | commitdiff | tree | snapshot
2010-01-19 Claudio Sacerdoti... We can always use the "covered by emptyset" relation... commit | commitdiff | tree | snapshot
2010-01-18 Claudio Sacerdoti... More //. commit | commitdiff | tree | snapshot
2010-01-18 Claudio Sacerdoti... More // everywhere. commit | commitdiff | tree | snapshot
2010-01-18 Claudio Sacerdoti... // used everywhere! commit | commitdiff | tree | snapshot
2010-01-18 Claudio Sacerdoti... // in place of nauto everywhere commit | commitdiff | tree | snapshot
2010-01-18 Claudio Sacerdoti... // is now more powerful commit | commitdiff | tree | snapshot
2010-01-18 Claudio Sacerdoti... // is now more powerful commit | commitdiff | tree | snapshot
2010-01-18 Andrea AspertiNew paramod tac. commit | commitdiff | tree | snapshot
2010-01-18 Andrea AspertiInvocation of paramod commit | commitdiff | tree | snapshot
2010-01-18 Andrea Aspertiparamod_tac exported commit | commitdiff | tree | snapshot
2010-01-18 Andrea AspertiNumber notation for NG commit | commitdiff | tree | snapshot
2010-01-18 Andrea AspertiNumber notation for NG commit | commitdiff | tree | snapshot
2010-01-18 Andrea AspertiNumber notation for NG. commit | commitdiff | tree | snapshot
2010-01-18 Andrea AspertiKeeping Implicit for refinement (instead of transformin... commit | commitdiff | tree | snapshot
2010-01-18 Andrea AspertiUpdating. commit | commitdiff | tree | snapshot
2010-01-15 Claudio Sacerdoti... A slightly more complicated example. commit | commitdiff | tree | snapshot
2010-01-15 Claudio Sacerdoti... Finished! commit | commitdiff | tree | snapshot
2010-01-15 Claudio Sacerdoti... We are still equivalent (even if the definition of... commit | commitdiff | tree | snapshot
2010-01-15 Claudio Sacerdoti... Urrah! commit | commitdiff | tree | snapshot
2010-01-15 Claudio Sacerdoti... Extending to the nAx set. commit | commitdiff | tree | snapshot
2010-01-15 Claudio Sacerdoti... Skipfact function (a partial general recursive function... commit | commitdiff | tree | snapshot
2010-01-12 Wilmer RicciottiFixed a bug in the discrimination principle: the refine... commit | commitdiff | tree | snapshot
2010-01-11 Claudio Sacerdoti... Finished commit | commitdiff | tree | snapshot
2010-01-11 Andrea Asperti1. New paramodulation function commit | commitdiff | tree | snapshot
2010-01-11 Andrea Aspertisaturate cust be called with delta=0 commit | commitdiff | tree | snapshot
2010-01-11 Andrea AspertiAdded is_equation commit | commitdiff | tree | snapshot
2010-01-11 Andrea AspertiDebugging info commit | commitdiff | tree | snapshot
2010-01-08 Claudio Sacerdoti... Improved commit | commitdiff | tree | snapshot
2010-01-08 Claudio Sacerdoti... Partial porting to new syntax. commit | commitdiff | tree | snapshot
2010-01-08 Claudio Sacerdoti... Source language path must be appended, not replaced. commit | commitdiff | tree | snapshot
2010-01-08 Claudio Sacerdoti... Categorical stuff postponed. commit | commitdiff | tree | snapshot
2010-01-08 Andrea AspertiThe body of constants is a reference, not the actual... commit | commitdiff | tree | snapshot
2010-01-08 Andrea Aspertiremoved debugging info commit | commitdiff | tree | snapshot
2010-01-08 Andrea Aspertirebuilding the library commit | commitdiff | tree | snapshot
2010-01-08 Andrea Aspertirebuilding the library commit | commitdiff | tree | snapshot
2010-01-08 Andrea Aspertirebuilding the library commit | commitdiff | tree | snapshot
2010-01-08 Andrea AspertiapplyS commit | commitdiff | tree | snapshot
2010-01-08 Andrea Aspertirefresh uri commit | commitdiff | tree | snapshot
2010-01-08 Andrea AspertiSupport for the new auto tactics // commit | commitdiff | tree | snapshot
2010-01-08 Andrea AspertiSupport for the new // tactics. commit | commitdiff | tree | snapshot
2010-01-08 Andrea Aspertinew reloc_subst (to avoid cyclic substitutions). commit | commitdiff | tree | snapshot
2010-01-07 Enrico Tassi.... commit | commitdiff | tree | snapshot
2010-01-07 Enrico Tassi... commit | commitdiff | tree | snapshot
2010-01-07 Enrico Tassi... commit | commitdiff | tree | snapshot
2010-01-06 Claudio Sacerdoti... Simplified. commit | commitdiff | tree | snapshot
2010-01-06 Claudio Sacerdoti... Coercions via unification hints? commit | commitdiff | tree | snapshot
2010-01-05 Ferruccio Guidi- we now add the kernel options in the preamble of... commit | commitdiff | tree | snapshot
2010-01-02 Claudio Sacerdoti... 1) stuff moved from categories.ma to setoids*.ma commit | commitdiff | tree | snapshot
2009-12-30 Enrico Tassi... commit | commitdiff | tree | snapshot
2009-12-30 Claudio Sacerdoti... Almost done (up to definition of category). commit | commitdiff | tree | snapshot
2009-12-30 Claudio Sacerdoti... Porting of Sambin's stuff started. commit | commitdiff | tree | snapshot
2009-12-30 Claudio Sacerdoti... Porting of Sambin's stuff started. commit | commitdiff | tree | snapshot
2009-12-30 Claudio Sacerdoti... Removed line is back again. commit | commitdiff | tree | snapshot
next
Unnamed repository; edit this file 'description' to name the repository.