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

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

2013-05-31	Andrea Asperti	bounded quantifiers and pidgeon_hole	blob \| commitdiff \| raw
2013-01-03	Andrea Asperti	Chebishev ported	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
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-10-28	Andrea Asperti	Some qed-	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-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.