]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/dama
Prima versione di bertrand. Tanti cambiamenti qua e la.
[helm.git] / helm / software / matita / dama /
2008-02-04 Enrico Tassisad snapshot
2008-02-04 Enrico Tassisnapshot
2008-02-04 Enrico Tassisnapshot
2008-02-01 Enrico Tassivery bad bug found, asert false in cicReduction when...
2008-01-31 Enrico Tassisnapshot
2008-01-24 Enrico Tassi...
2008-01-23 Enrico Tassisnapshot with more duality, almost where we left withou...
2008-01-21 Enrico Tassisnapshot
2008-01-21 Enrico Tassisnopshot before isabellization
2008-01-16 Enrico Tassisnapshot
2008-01-16 Enrico Tassi3.27 ok
2008-01-16 Enrico Tassiyes! the lattice_(#) -> prelattice(<) -> lattice(<...
2008-01-14 Enrico Tassimore lemmas, til 3.26
2008-01-14 Enrico Tassinew deps
2008-01-14 Enrico Tassifirst lemma
2008-01-14 Enrico Tassifixed a pulback and proved 3.17
2008-01-11 Enrico Tassimany sed to use notation for rewriting
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-12-10 Enrico Tassimore chosmetic
2007-12-10 Enrico Tassisandeich lemma makeup
2007-12-08 Enrico Tassithe is_structure is a bad idea if you don't have canoni...
2007-12-06 Enrico Tassiexcede->excess
2007-12-06 Enrico Tassiexcedence -> excess
2007-12-06 Enrico Tassiweight -> value
2007-12-04 Enrico Tassirefactoring of some lemmas, shorter proofs
2007-12-04 Enrico Tassisandwitch theorem done
2007-12-04 Enrico Tassiremoved all the axioms!!!
2007-12-04 Enrico Tassisligtly more general results, still to reorganize
2007-12-03 Enrico Tassiok
2007-12-03 Enrico Tassi1 lemma left!!!!
2007-12-01 Enrico Tassicarabinieri almost done
2007-11-30 Enrico Tassicarabinieri almost done
2007-11-30 Enrico Tassicleanup of the eq_trans burdain
2007-11-30 Enrico Tassi3.11 !!!
2007-11-28 Enrico Tassimore stuff
2007-11-28 Enrico Tassi...
2007-11-27 Enrico Tassi...
2007-11-27 Enrico Tassi...
2007-11-27 Enrico Tassimajor reorganization (read cleanup)
2007-11-27 Enrico Tassibir georganization, most of the structures done
2007-11-26 Enrico Tassireorganization of many files according to the new basic...
2007-11-26 Enrico Tassifor csc
2007-11-26 Enrico Tassipretty
2007-11-23 Enrico Tassisince the previous commit fixed some bugs when the...
2007-11-22 Enrico Tassilemma finisced
2007-11-22 Enrico Tassilemma 3.57 half done!!!!
2007-11-22 Enrico Tassisnapshot
2007-11-18 Claudio Sacerdoti... The axiom can be proved. Just follow the hint.
2007-11-17 Enrico Tassifixed bugs found by csc
2007-11-17 Enrico Tassimoved to pkg-ocaml-maint
2007-11-16 Claudio Sacerdoti... Some notes for Enrico.
2007-11-16 Enrico Tassimore cleanup
2007-11-15 Enrico Tassicleanup
2007-11-15 Enrico Tassicleanup
2007-11-15 Enrico Tassideclared eq_sym as a coercion and added 2 lemmas for...
2007-11-14 Enrico Tassifixed notation
2007-11-14 Enrico Tassiogroups almost finished
2007-11-14 Enrico Tassisnapshot
2007-11-14 Enrico Tassisnapshot
2007-11-13 Enrico TassiEnd of groups :-)
2007-11-13 Enrico Tassisnapshot
2007-11-13 Ferruccio Guidipreviously hidden simplifications (in old destruct...
2007-11-12 Enrico Tassisome work till the need of redoing all groups based...
2007-11-12 Enrico Tassiordered_sets are built with excedence
2007-11-12 Enrico Tassiadded ordered sets
2007-11-12 Enrico Tassirenamed ordered sets into excedence.ma
2007-11-12 Enrico Tassirelocated
2007-11-12 Enrico Tassiremoved dust
2007-11-12 Enrico Tassinew file with some relations stated in Type
2007-11-12 Enrico Tassiordered set is over, much new stuff coming from a coref...
2007-11-09 Enrico Tassisnapshot
2007-11-08 Enrico Tassixxx
2007-11-08 Claudio Sacerdoti... Zoli's note (in Italian) about a constructive version...
2007-11-07 Enrico Tassireorganization of the whole story, the root dir contain...
2007-07-11 Claudio Sacerdoti... auto new => autobatch
2007-07-11 Claudio Sacerdoti... auto new => autobatch
2007-05-25 Enrico Tassiauto --> autobatch
2007-05-20 Ferruccio GuidiapplyTransformation: added debugging information
2007-02-05 Claudio Sacerdoti... Second formulation of a constructive (positive) proof...
2007-01-17 Enrico ZoliThis is the roadmap of the constructive proof of Lebesg...
2007-01-05 Enrico TassiErroneously declared coercion removed
2007-01-03 Claudio Sacerdoti... Notation is finally fully working everywhere.
2007-01-03 Claudio Sacerdoti... Riesz_spaces are now seen as lattices + vector spaces...
2007-01-02 Claudio Sacerdoti... There used to be two minimal joins between an ordered_s...
2006-12-30 Claudio Sacerdoti... Some more notation can now be used.
2006-12-30 Claudio Sacerdoti... le x y ==> x \leq y (now possible because of a bug...
2006-12-29 Claudio Sacerdoti... Record with simulated manifest types are now used every...
2006-12-29 Claudio Sacerdoti... First attempt at using/simulating records with manifest...
2006-12-15 Enrico ZoliUp to definition of limsup as liminf computed on the...
2006-12-15 Enrico ZoliFatou lemma achieved (up to a few more axioms here...
2006-12-15 Claudio Sacerdoti... Huge DAMA update:
2006-12-07 Stefano Zacchirolireverted error committed by mistake
2006-12-07 Stefano Zacchiroliavoid Failure "nth" when only one disambiguation pass...
2006-11-10 Enrico ZoliDama: up to L-spaces and the proof (completed up to...
2006-11-06 Enrico ZoliMore work on groups, real numbers and integration algebras.
2006-11-05 Claudio Sacerdoti... Some clean-up here and there in dama (coercions removed...
2006-11-05 Claudio Sacerdoti... Almost every hand-inserted coercion removed since a...
2006-11-05 Claudio Sacerdoti... Added more typing information to remove a coercion.
2006-11-03 Enrico ZoliIntegration f_algebras declassed.
2006-11-03 Enrico ZoliUp to absolute value
next