]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ebf56f) | patch
First snapshot at trying to clean up the Q library.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Jun 2008 12:53:35 +0000 (12:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Jun 2008 12:53:35 +0000 (12:53 +0000)
commit13ee180b4b982b7a150e8d727ed4b83813ac3fa2
tree3aad7099a0129d9529b7fc3e06bb42a1a70a885ctree | snapshot
parent2ebf56f5bed21b8498f0468295013db0d2b58a08commit | diff
First snapshot at trying to clean up the Q library.
16 files changed:
helm/software/matita/library/Q/Qplus_andrea.ma diff | blob | history
helm/software/matita/library/Q/frac.ma diff | blob | history
helm/software/matita/library/Q/fraction/finv.ma [new file with mode: 0644] blob
helm/software/matita/library/Q/fraction/fraction.ma [new file with mode: 0644] blob
helm/software/matita/library/Q/fraction/ftimes.ma [new file with mode: 0644] blob
helm/software/matita/library/Q/inv.ma diff | blob | history
helm/software/matita/library/Q/q.ma diff | blob | history
helm/software/matita/library/Q/q/q.ma [new file with mode: 0644] blob
helm/software/matita/library/Q/q/qinv.ma [new file with mode: 0644] blob
helm/software/matita/library/Q/q/qplus.ma [new file with mode: 0644] blob
helm/software/matita/library/Q/q/qtimes.ma [new file with mode: 0644] blob
helm/software/matita/library/Q/ratio/ratio.ma [new file with mode: 0644] blob
helm/software/matita/library/Q/ratio/rinv.ma [new file with mode: 0644] blob
helm/software/matita/library/Q/ratio/rtimes.ma [new file with mode: 0644] blob
helm/software/matita/library/Q/times.ma [deleted file] blob | history
helm/software/matita/library/depends diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.