]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/Q
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
huge commit in automation:
[helm.git] / helm / software / matita / library / Q /
2009-04-28 Enrico Tassihuge commit in automation: tree | commitdiff
2009-04-15 Ferruccio Guidi- transcript: bugfix tree | commitdiff
2008-08-16 Enrico Tassiadded interpretation for \naturals, \rationals, and... tree | commitdiff
2008-06-24 Enrico Tassinotation 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 AspertiAdded frac.ma tree | commitdiff
2008-06-06 Andrea AspertiAdded 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 AspertiSome 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.