matita.cs.unibo.it Git - helm.git/search

]> matita.cs.unibo.it Git - helm.git/search

2007-03-01	Enrico Zoli	"by j let x : T such that P(x)" generalized to allow...	commit \| commitdiff \| tree
2007-01-17	Enrico Zoli	This is the roadmap of the constructive proof of Lebesgue...	commit \| commitdiff \| tree
2006-12-15	Enrico Zoli	Up to definition of limsup as liminf computed on the...	commit \| commitdiff \| tree
2006-12-15	Enrico Zoli	Fatou lemma achieved (up to a few more axioms here...	commit \| commitdiff \| tree
2006-11-10	Enrico Zoli	Dama: up to L-spaces and the proof (completed up to...	commit \| commitdiff \| tree
2006-11-06	Enrico Zoli	More work on groups, real numbers and integration algebras.	commit \| commitdiff \| tree
2006-11-03	Enrico Zoli	Integration f_algebras declassed.	commit \| commitdiff \| tree
2006-11-03	Enrico Zoli	Up to absolute value	commit \| commitdiff \| tree
2006-11-03	Enrico Zoli	Up to max (up to a bug).	commit \| commitdiff \| tree
2006-10-31	Enrico Zoli	We begin to play the real game: we have defined real...	commit \| commitdiff \| tree
2006-10-31	Enrico Zoli	Integration_algebras.ma split into 6 different files.	commit \| commitdiff \| tree
2006-10-31	Enrico Zoli	Syntax changed (to be changed back) for left parameters...	commit \| commitdiff \| tree
2006-10-24	Enrico Zoli	Added unit to rings.	commit \| commitdiff \| tree
2006-10-24	Enrico Zoli	More coercions added in the algebraic hierarchy.	commit \| commitdiff \| tree
2006-10-24	Enrico Zoli	Up to f_algebras.	commit \| commitdiff \| tree
2006-10-20	Enrico Zoli	Up to f_algebras.	commit \| commitdiff \| tree
2006-10-20	Enrico Zoli	1. developed up to algebras	commit \| commitdiff \| tree
2006-10-20	Enrico Zoli	Serious bug fixed: without a Lazy.force the user obtained...	commit \| commitdiff \| tree
2006-10-16	Enrico Zoli	Beginning of the development of integration algebras.	commit \| commitdiff \| tree

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom