matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/arithmetics/bigops.ma

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/arithmetics/bigops.ma

projects / helm.git / history

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

[helm.git] / matita / matita / lib / arithmetics / bigops.ma

2013-04-30	Andrea Asperti	New notation for congruence	blob \| commitdiff \| raw
2013-01-03	Andrea Asperti	Chebishev ported	blob \| commitdiff \| raw \| diff to current
2012-12-18	Andrea Asperti	changes	blob \| commitdiff \| raw \| diff to current
2012-12-17	Andrea Asperti	restructuring	blob \| commitdiff \| raw \| diff to current
2012-12-17	Andrea Asperti	Still porting chebyshev	blob \| commitdiff \| raw \| diff to current
2012-12-10	Andrea Asperti	Porting chebyshev	blob \| commitdiff \| raw \| diff to current
2012-04-26	Ferruccio Guidi	- notation (possibly affecting all .ma files):	blob \| commitdiff \| raw \| diff to current
2011-12-12	Claudio Sacerdoti...	Some integrations from CerCo. In particular:	blob \| commitdiff \| raw \| diff to current
2011-11-21	Claudio Sacerdoti...	{pattern} => in pattern;	blob \| commitdiff \| raw \| diff to current
2011-11-18	Claudio Sacerdoti...	* Almost ready for release 0.99.1.	blob \| commitdiff \| raw \| diff to current
2011-11-16	Claudio Sacerdoti...	Non working parts of the library commented out.	blob \| commitdiff \| raw \| diff to current
2011-06-06	Claudio Sacerdoti...	Minor changes because of the new, weaker (but much...	blob \| commitdiff \| raw \| diff to current
2010-12-23	Andrea Asperti	progress	blob \| commitdiff \| raw \| diff to current
2010-12-16	Andrea Asperti	New version of the library. Several files still do...	blob \| commitdiff \| raw \| diff to current
2010-12-06	Andrea Asperti	some progress	blob \| commitdiff \| raw \| diff to current
2010-11-22	Andrea Asperti	Some arithmetics.	blob \| commitdiff \| raw \| diff to current

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