matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/Q

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/Q

projects / helm.git / history

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

[helm.git] / helm / software / matita / library / Q /

2008-06-24	Enrico Tassi	notation factored, coercion commant taking terms and...	tree \| commitdiff
2008-06-09	Claudio Sacerdoti...	Most of the time, URIs can now be replaced with identif...	tree \| commitdiff
2008-06-08	Claudio Sacerdoti...	generalize no more required by elim	tree \| commitdiff
2008-06-06	Claudio Sacerdoti...	Even more Q stuff moved around.	tree \| commitdiff
2008-06-06	Claudio Sacerdoti...	Even more Q stuff classified.	tree \| commitdiff
2008-06-06	Claudio Sacerdoti...	more stuff moved around	tree \| commitdiff
2008-06-06	Claudio Sacerdoti...	More Q stuff organized in a coherent way.	tree \| commitdiff
2008-06-06	Claudio Sacerdoti...	First snapshot at trying to clean up the Q library.	tree \| commitdiff
2008-06-06	Andrea Asperti	Added frac.ma	tree \| commitdiff
2008-06-06	Andrea Asperti	Added Qplus_andrea.ma	tree \| commitdiff
2008-06-03	Claudio Sacerdoti...	Some proofs on enumerator and denominator.	tree \| commitdiff
2008-06-03	Claudio Sacerdoti...	More work on rational numbers with unique representations.	tree \| commitdiff
2007-10-25	Claudio Sacerdoti...	neg => Qneg :-)	tree \| commitdiff
2007-10-14	Claudio Sacerdoti...	Some lemmas moves to the file they belong to.	tree \| commitdiff
2007-10-08	Andrea Asperti	Some axioms for Q.	tree \| commitdiff
2006-02-23	Claudio Sacerdoti...	64 "change" here and there in the library are now simpl...	tree \| commitdiff
2006-02-22	Claudio Sacerdoti...	simplify used in place of change	tree \| commitdiff
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	tree \| commitdiff

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