]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/dama
update in delayed_updating
[helm.git] / helm / software / matita / contribs / dama /
2009-05-25 Enrico Tassinasty change in the lexer/parser:
2008-11-20 Enrico Tassi...
2008-11-20 Enrico Tassi...
2008-11-19 Enrico Tassix2sx declared as coercion and used when possible
2008-11-19 Enrico Tassirenaming
2008-11-19 Enrico Tassi...
2008-11-12 Enrico Tassibetter names
2008-11-07 Enrico Tassisome other simplification
2008-11-07 Enrico Tassiordered_set simplified
2008-10-29 Enrico Tassimodels ported
2008-10-28 Enrico Tassieven more polymorphic dualizer
2008-10-28 Enrico Tassilebesge works
2008-10-27 Enrico TassiWIP
2008-10-27 Enrico TassiWIP
2008-10-27 Enrico Tassiseg_u/l were inverted, more work
2008-10-27 Enrico Tassibig lemma done
2008-10-26 Enrico Tassi...
2008-10-25 Enrico Tassi...
2008-10-25 Enrico Tassiduality is a joke
2008-10-23 Enrico Tassilebesgue completely dualized
2008-10-20 Enrico Tassinat model ported to the dualized version, but not itsel...
2008-10-20 Enrico Tassiafter a PITA, lebergue is dualized!
2008-10-20 Enrico Tassi...
2008-10-19 Enrico Tassisome work on duality, still not finisched
2008-10-14 Enrico Tassifirs step for dualization
2008-10-14 Enrico Tassi...
2008-10-02 Enrico Tassi...
2008-09-30 Enrico Tassi...
2008-09-26 Enrico Tassisome work
2008-09-19 Enrico Tassinew reorganization
2008-09-04 Enrico Tassi...
2008-08-26 Enrico Tassifixed some stuff
2008-07-22 Enrico Tassi...
2008-07-22 Enrico Tassi...
2008-07-21 Enrico Tassi...
2008-07-15 Enrico Tassimore notation moved to core notation, unification of...
2008-07-15 Enrico TassiSince CProp_i = Type_i everything lowered without 2...
2008-07-15 Enrico Tassimodels over N fixed
2008-07-15 Enrico Tassinew q_function representation
2008-07-15 Enrico TassiUsing Prop conjuction on Props lowers the universes.
2008-07-10 Enrico Tassivalue has a specification
2008-07-10 Enrico Tassimore work on dama
2008-07-07 Enrico Tassisimplified coercDb implementation with additional info...
2008-07-03 Enrico Tassi...snapshot
2008-07-03 Enrico Tassi...
2008-07-02 Enrico Tassisome work
2008-07-02 Enrico Tassi...
2008-07-02 Enrico Tassi...
2008-07-02 Enrico Tassi...
2008-07-01 Enrico Tassishifting done, merge attacked
2008-07-01 Enrico Tassishift almost done
2008-06-30 Enrico Tassinew specification
2008-06-30 Enrico Tassisome more work on q
2008-06-28 Enrico Tassisome more work to factorize out uninteresting parts...
2008-06-27 Enrico Tassimore work to try to understand where the issue is
2008-06-27 Enrico Tassilost in the wood
2008-06-26 Enrico Tassimore work
2008-06-26 Enrico Tassifew more steps
2008-06-26 Enrico Tassimore work
2008-06-26 Enrico Tassisome more work
2008-06-26 Enrico Tassimore work on q
2008-06-25 Enrico Tassisome more work
2008-06-25 Enrico Tassibetter, reparsable, notation
2008-06-24 Enrico Tassiremoved <_,_> notation second interpretation for depend...
2008-06-24 Enrico Tassinotation factored, coercion commant taking terms and...
2008-06-23 Enrico Tassimore work, but russell too slow
2008-06-19 Claudio Sacerdoti... - notation fixed according to the new stricter semantics
2008-06-18 Enrico Tassisome work on Q
2008-06-17 Enrico Tassigeneral reorganization and first (unconditional) proof...
2008-06-16 Enrico TassiDedekind sigma completeness for the natural numbers.
2008-06-16 Enrico Tassitypo
2008-06-13 Enrico Tassisome notation added with a bit PITA
2008-06-13 Enrico Tassimore notation
2008-06-12 Enrico Tassibetter names in a lemma to increase readability
2008-06-12 Enrico Tassifixed some regressions
2008-06-11 Enrico Tassigran casino
2008-06-10 Enrico Tassibla bla bla
2008-06-10 Enrico Tassiinitial qork for models
2008-06-10 Enrico Tassilebesgue proved
2008-06-10 Enrico Tassisnapshot
2008-06-09 Claudio Sacerdoti... Most of the time, URIs can now be replaced with identif...
2008-06-09 Enrico Tassiinitial work on lebesque
2008-06-09 Enrico Tassiexhaustivity completed
2008-06-09 Enrico Tassiexhaustivity, some work
2008-06-07 Enrico Tassiexhaustivity defined
2008-06-07 Enrico Tassiproof simplified
2008-06-06 Enrico Tassilemma 3.6 subverted
2008-06-05 Enrico Tassi....
2008-06-05 Enrico Tassiadded order_continuity
2008-06-05 Enrico Tassisandwich is back
2008-06-03 Enrico Tassisome work on uniformity
2008-06-03 Enrico Tassiend of section 2.2
2008-06-03 Enrico Tassiproof refactored
2008-06-01 Enrico Tassimore work on supremum
2008-05-30 Enrico Tassi...
2008-05-30 Enrico Tassimore work on dama
2008-05-29 Enrico Tassi...
2008-05-29 Enrico Tassifirst page of the new dama proof
2008-05-28 Enrico Tassi...
2008-05-28 Enrico Tassidama restarted
next