matita.cs.unibo.it Git - helm.git/history - helm/matita/library/algebra/groups.ma

]> matita.cs.unibo.it Git - helm.git/history - helm/matita/library/algebra/groups.ma

projects / helm.git / history

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

[helm.git] / helm / matita / library / algebra / groups.ma

2006-02-02	Claudio Sacerdoti...	Some more work...	blob \| commitdiff \| raw
2006-02-01	Claudio Sacerdoti...	Closer to the proof of the pigeonhole principle......	blob \| commitdiff \| raw \| diff to current
2006-01-31	Claudio Sacerdoti...	Pigeonhole proof restructured.	blob \| commitdiff \| raw \| diff to current
2006-01-31	Claudio Sacerdoti...	Some more work on the proof of the pigeonhole principle.	blob \| commitdiff \| raw \| diff to current
2006-01-30	Claudio Sacerdoti...	Some more progress in the proof of the (ad-hoc ?) pigeo...	blob \| commitdiff \| raw \| diff to current
2006-01-27	Claudio Sacerdoti...	1. The last commit that fixed unification of compound...	blob \| commitdiff \| raw \| diff to current
2006-01-26	Claudio Sacerdoti...	A failing unification of a coercion vs a term is now...	blob \| commitdiff \| raw \| diff to current
2006-01-25	Claudio Sacerdoti...	New formulation of finite_enumerable_SemiGroups to...	blob \| commitdiff \| raw \| diff to current
2006-01-25	Claudio Sacerdoti...	First part of a slightly more interesting proof on...	blob \| commitdiff \| raw \| diff to current
2006-01-23	Claudio Sacerdoti...	right and left cancellation in groups	blob \| commitdiff \| raw \| diff to current
2006-01-19	Claudio Sacerdoti...	New reduction strategy (that behaves much better during...	blob \| commitdiff \| raw \| diff to current
2006-01-19	Claudio Sacerdoti...	1. Back to nicer (and more comprehensible) notation...	blob \| commitdiff \| raw \| diff to current
2006-01-17	Claudio Sacerdoti...	An embryonic kernel of the algebraic library.	blob \| commitdiff \| raw \| diff to current

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