]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/nat/ord.ma
- init_cache_and_tables rewritten using the automation_cache
[helm.git] / helm / software / matita / library / nat / ord.ma
2009-04-20 Enrico Tassi- init_cache_and_tables rewritten using the automation_...
2008-06-13 Claudio Sacerdoti... New lemma
2008-02-18 Andrea AspertiComplete proof of Bertrand for n >= 256.
2007-11-19 Andrea AspertiTowards chebyshev.
2007-10-14 Claudio Sacerdoti... Some lemmas moves to the file they belong to.
2007-10-12 Andrea AspertiMore restructuring in moebius.ma
2007-05-24 Enrico Tassiauto and autogui... some work
2007-05-09 Andrea AspertiA few extensions for the moebius inversion theorem
2007-03-16 Andrea AspertiExtensions required for the moebius function (in Z).
2006-11-23 Andrea AspertiMinor changes.
2006-10-30 Andrea Aspertilibrary = yes!
2006-10-03 Enrico Tassicommented out are_convertible in is_identity
2006-07-24 Andrea AspertiA compiling version of the library.
2006-02-23 Claudio Sacerdoti... 64 "change" here and there in the library are now simpl...
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/