]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/nat
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
...
[helm.git] / helm / software / matita / library / nat /
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.