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

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

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / matita / dama / integration_algebras.ma

2006-12-07	Stefano Zacchiroli	reverted error committed by mistake	blob \| commitdiff \| raw
2006-12-07	Stefano Zacchiroli	avoid Failure "nth" when only one disambiguation pass...	blob \| commitdiff \| raw \| diff to current
2006-11-10	Enrico Zoli	Dama: up to L-spaces and the proof (completed up to...	blob \| commitdiff \| raw
2006-11-06	Enrico Zoli	More work on groups, real numbers and integration algebras.	blob \| commitdiff \| raw \| diff to current
2006-11-05	Claudio Sacerdoti...	Some clean-up here and there in dama (coercions removed...	blob \| commitdiff \| raw \| diff to current
2006-11-05	Claudio Sacerdoti...	Almost every hand-inserted coercion removed since a...	blob \| commitdiff \| raw \| diff to current
2006-11-03	Enrico Zoli	Integration f_algebras declassed.	blob \| commitdiff \| raw \| diff to current
2006-10-31	Enrico Zoli	We begin to play the real game: we have defined real...	blob \| commitdiff \| raw \| diff to current
2006-10-31	Enrico Zoli	Integration_algebras.ma split into 6 different files.	blob \| commitdiff \| raw \| diff to current
2006-10-30	Claudio Sacerdoti...	Up to integration f-algebras.	blob \| commitdiff \| raw \| diff to current
2006-10-25	Claudio Sacerdoti...	Two lemmas that used to pass no more now pass again...	blob \| commitdiff \| raw \| diff to current
2006-10-24	Enrico Zoli	Added unit to rings.	blob \| commitdiff \| raw \| diff to current
2006-10-24	Enrico Zoli	More coercions added in the algebraic hierarchy.	blob \| commitdiff \| raw \| diff to current
2006-10-24	Enrico Zoli	Up to f_algebras.	blob \| commitdiff \| raw \| diff to current
2006-10-20	Enrico Zoli	Up to f_algebras.	blob \| commitdiff \| raw \| diff to current
2006-10-20	Enrico Zoli	1. developed up to algebras	blob \| commitdiff \| raw \| diff to current
2006-10-16	Enrico Zoli	Beginning of the development of integration algebras.	blob \| commitdiff \| raw \| diff to current

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