matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary/arithmetics/R.ma

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary/arithmetics/R.ma

2010-10-17	Enrico Tassi	fixed many scripts that broke for various reasons	blob \| commitdiff \| raw
2010-04-14	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2010-04-14	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2010-04-14	Claudio Sacerdoti...	Formal points.	blob \| commitdiff \| raw \| diff to current
2010-04-14	Claudio Sacerdoti...	Some dualization clean-up.	blob \| commitdiff \| raw \| diff to current
2010-03-31	Claudio Sacerdoti...	Use the inversion!	blob \| commitdiff \| raw \| diff to current
2010-03-26	Claudio Sacerdoti...	Good definition found.	blob \| commitdiff \| raw \| diff to current
2010-03-26	Claudio Sacerdoti...	(Co)Inductively Generated Formal Topologies (not only...	blob \| commitdiff \| raw \| diff to current
2010-03-25	Matthias Puech	patched the definition of locate, advances in locate_ad...	blob \| commitdiff \| raw \| diff to current
2010-03-25	Matthias Puech	Automation problem	blob \| commitdiff \| raw \| diff to current
2010-03-25	Andrea Asperti	More work	blob \| commitdiff \| raw \| diff to current
2010-03-25	Andrea Asperti	cosi va (se vi pare).	blob \| commitdiff \| raw \| diff to current
2010-03-24	Claudio Sacerdoti...	Nice examples for automation (that fails).	blob \| commitdiff \| raw \| diff to current
2010-03-24	Claudio Sacerdoti...	Real numbers as co-inductive streams of digits (overlap...	blob \| commitdiff \| raw \| diff to current

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