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