]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/nat
...
[helm.git] / helm / software / matita / library / nat /
2006-12-18 Andrea AspertiRenamed iterative into map_iter_p and moved around...
2006-12-18 Andrea AspertiProof of Euler theorem.
2006-11-27 Andrea AspertiSmall changes
2006-11-23 Andrea AspertiMinor changes.
2006-11-15 Ferruccio Guidifixed base uri
2006-11-15 Andrea AspertiAdded lt_O_S.
2006-10-30 Andrea Aspertilibrary = yes!
2006-10-25 Claudio Sacerdoti... Our unification used to guess a very complex argument...
2006-10-09 Claudio Sacerdoti... added to applyS in nat/gcd.ma a timeout large enough...
2006-10-06 Enrico Tassiresumed ol auto
2006-10-03 Enrico Tassicommented out are_convertible in is_identity
2006-10-02 Enrico Tassiremoved a pointless call to auto
2006-09-29 Enrico Tassirestored the good factorization file
2006-09-27 Claudio Sacerdoti... Initial work on setoids:
2006-09-21 Enrico Tassiauto snapshot
2006-07-26 Stefano Zacchiroliadded tinycals to the proof we frequently use for examp...
2006-07-24 Andrea AspertiA compiling version of the library.
2006-07-24 Stefano Zacchiroliadded missing dependency
2006-07-20 Enrico Tassireorganization
2006-06-15 Andrea Aspertiexamples of applyS
2006-06-14 Stefano Zacchirolifixed bad spellend "stantard"
2006-06-09 Andrea AspertiNotation for congruent.
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/