]> 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
Towards chebyshev.
[helm.git] / helm / software / matita / dama /
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
2006-11-03 Enrico ZoliUp to max (up to a bug). tree | commitdiff
2006-10-31 Enrico ZoliWe begin to play the real game: we have defined real... tree | commitdiff
2006-10-31 Enrico ZoliIntegration_algebras.ma split into 6 different files. tree | commitdiff
2006-10-31 Enrico ZoliSyntax changed (to be changed back) for left parameters... tree | commitdiff
2006-10-30 Claudio Sacerdoti... Up to integration f-algebras. tree | commitdiff
2006-10-25 Claudio Sacerdoti... Two lemmas that used to pass no more now pass again... tree | commitdiff
2006-10-24 Enrico ZoliAdded unit to rings. tree | commitdiff
2006-10-24 Enrico ZoliMore coercions added in the algebraic hierarchy. tree | commitdiff
2006-10-24 Enrico ZoliUp to f_algebras. tree | commitdiff
2006-10-20 Enrico ZoliUp to f_algebras. tree | commitdiff
2006-10-20 Enrico Zoli1. developed up to algebras tree | commitdiff
2006-10-16 Enrico ZoliBeginning of the development of integration algebras. tree | commitdiff
2006-05-31 Claudio Sacerdoti... Sigma algebras and measurable maps defined. tree | commitdiff
2006-05-31 Claudio Sacerdoti... Committed a first experiment in the formalization of... tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.