matita.cs.unibo.it Git - helm.git/history - helm/software/matita/dama

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/dama

[helm.git] / helm / software / matita / dama /

2007-02-05	Claudio Sacerdoti...	Second formulation of a constructive (positive) proof...	tree \| commitdiff
2007-01-17	Enrico Zoli	This is the roadmap of the constructive proof of Lebesg...	tree \| commitdiff
2007-01-05	Enrico Tassi	Erroneously 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 Zoli	Up to definition of limsup as liminf computed on the...	tree \| commitdiff
2006-12-15	Enrico Zoli	Fatou 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 Zacchiroli	reverted error committed by mistake	tree \| commitdiff
2006-12-07	Stefano Zacchiroli	avoid Failure "nth" when only one disambiguation pass...	tree \| commitdiff
2006-11-10	Enrico Zoli	Dama: up to L-spaces and the proof (completed up to...	tree \| commitdiff
2006-11-06	Enrico Zoli	More 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 Zoli	Integration f_algebras declassed.	tree \| commitdiff
2006-11-03	Enrico Zoli	Up to absolute value	tree \| commitdiff
2006-11-03	Enrico Zoli	Up to max (up to a bug).	tree \| commitdiff
2006-10-31	Enrico Zoli	We begin to play the real game: we have defined real...	tree \| commitdiff
2006-10-31	Enrico Zoli	Integration_algebras.ma split into 6 different files.	tree \| commitdiff
2006-10-31	Enrico Zoli	Syntax 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 Zoli	Added unit to rings.	tree \| commitdiff
2006-10-24	Enrico Zoli	More coercions added in the algebraic hierarchy.	tree \| commitdiff
2006-10-24	Enrico Zoli	Up to f_algebras.	tree \| commitdiff
2006-10-20	Enrico Zoli	Up to f_algebras.	tree \| commitdiff
2006-10-20	Enrico Zoli	1. developed up to algebras	tree \| commitdiff
2006-10-16	Enrico Zoli	Beginning 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.

RSS Atom