]> matita.cs.unibo.it Git - helm.git/history - matita/library/nat
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
tagging rc-1
[helm.git] / matita / library / nat /
2007-10-14 Claudio Sacerdoti... Some lemmas moves to the file they belong to. tree | commitdiff
2007-10-14 Cristian ArmentanoTheorem sigma_p_knm changed into generic_iter_p_knm. tree | commitdiff
2007-10-12 Claudio Sacerdoti... Move to OCaml 3.10. Requires debian packages from unsta... tree | commitdiff
2007-10-12 Andrea AspertiMore restructuring in moebius.ma tree | commitdiff
2007-10-12 Andrea AspertiReorganization of the library. tree | commitdiff
2007-09-20 Cristian ArmentanoFurther simplifications to the main theorem about Euler... tree | commitdiff
2007-09-19 Cristian Armentano* Some simplifications to theorem in file totient1.ma. tree | commitdiff
2007-09-18 Cristian Armentanosome theorems have been moved to more appropriate files... tree | commitdiff
2007-09-17 Cristian Armentanotemporary changes, before the complete cancellation... tree | commitdiff
2007-09-17 Cristian Armentanosimplified version of a theorem. tree | commitdiff
2007-09-17 Andrea AspertiA new function. tree | commitdiff
2007-09-11 Cristian Armentanosome theorem names changed. tree | commitdiff
2007-09-10 Cristian Armentanoother simplifications. tree | commitdiff
2007-09-09 Cristian Armentanoother simplifications. tree | commitdiff
2007-09-07 Cristian Armentanosome simplifications. tree | commitdiff
2007-09-06 Cristian ArmentanoSome simplifications. tree | commitdiff
2007-08-16 Cristian Armentanolittle change to theorem eq_gcd_times_times_eqv_times_gcd tree | commitdiff
2007-07-31 Andrea Aspertiremoved generic_sigma_p since generic_iter_p is the... tree | commitdiff
2007-07-30 Cristian Armentanorenamed generic_sigma_p.ma to generic_iter_p.ma tree | commitdiff
2007-07-23 Claudio Sacerdoti... Prototype of min_aux changed. tree | commitdiff
2007-07-06 Enrico Tassimaxipatch for support of multiple DBs. tree | commitdiff
2007-06-30 Cristian ArmentanoNew definition of Euler's totient function. tree | commitdiff
2007-06-29 Cristian Armentanogeneric version, specializing generic_sigma_p.ma tree | commitdiff
2007-06-29 Cristian Armentanotheorems about sigma_p proved using sigma_p_gen tree | commitdiff
2007-06-27 Cristian Armentanonew gcd properties, and theorems for totient, and theor... tree | commitdiff
2007-06-26 Cristian Armentano(no commit message) tree | commitdiff
2007-06-26 Cristian Armentanogeneric sommatory. tree | commitdiff
2007-05-24 Enrico Tassiauto and autogui... some work tree | commitdiff
2007-05-17 Enrico Tassiauto rewritten with only one tail recursive function. tree | commitdiff
2007-05-09 Andrea AspertiA few extensions for the moebius inversion theorem tree | commitdiff
2007-04-20 Claudio Sacerdoti... Much ado about nothing: tree | commitdiff
2007-03-16 Andrea AspertiExtensions required for the moebius function (in Z). tree | commitdiff
2007-03-13 Andrea AspertiFew theorems added.` tree | commitdiff
2007-03-13 Andrea Aspertinew version of div_and_mod tree | commitdiff
2006-12-18 Andrea AspertiRenamed iterative into map_iter_p and moved around... tree | commitdiff
2006-12-18 Andrea AspertiProof of Euler theorem. tree | commitdiff
2006-11-27 Andrea AspertiSmall changes tree | commitdiff
2006-11-23 Andrea AspertiMinor changes. tree | commitdiff
2006-11-15 Ferruccio Guidifixed base uri tree | commitdiff
2006-11-15 Andrea AspertiAdded lt_O_S. tree | commitdiff
2006-10-30 Andrea Aspertilibrary = yes! tree | commitdiff
2006-10-25 Claudio Sacerdoti... Our unification used to guess a very complex argument... tree | commitdiff
2006-10-09 Claudio Sacerdoti... added to applyS in nat/gcd.ma a timeout large enough... tree | commitdiff
2006-10-06 Enrico Tassiresumed ol auto tree | commitdiff
2006-10-03 Enrico Tassicommented out are_convertible in is_identity tree | commitdiff
2006-10-02 Enrico Tassiremoved a pointless call to auto tree | commitdiff
2006-09-29 Enrico Tassirestored the good factorization file tree | commitdiff
2006-09-27 Claudio Sacerdoti... Initial work on setoids: tree | commitdiff
2006-09-21 Enrico Tassiauto snapshot tree | commitdiff
2006-07-26 Stefano Zacchiroliadded tinycals to the proof we frequently use for examp... tree | commitdiff
2006-07-24 Andrea AspertiA compiling version of the library. tree | commitdiff
2006-07-24 Stefano Zacchiroliadded missing dependency tree | commitdiff
2006-07-20 Enrico Tassireorganization tree | commitdiff
2006-06-15 Andrea Aspertiexamples of applyS tree | commitdiff
2006-06-14 Stefano Zacchirolifixed bad spellend "stantard" tree | commitdiff
2006-06-09 Andrea AspertiNotation for congruent. tree | commitdiff
2006-02-23 Claudio Sacerdoti... 64 "change" here and there in the library are now simpl... tree | commitdiff
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/ tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.