]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a11645) | patch
Even more Q stuff moved around.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Jun 2008 18:02:15 +0000 (18:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Jun 2008 18:02:15 +0000 (18:02 +0000)
commite85acd6f01bccc0b4a6750dd6d2710d7b511948a
tree1e260e3c5caa7099ceba63f8d6f0261f759b00a5tree | snapshot
parent7a116453d799657958e32693be28d18a5aab84fccommit | diff
Even more Q stuff moved around.
helm/software/matita/library/Q/frac.ma diff | blob | history
helm/software/matita/library/Q/fraction/finv.ma diff | blob | history
helm/software/matita/library/Q/fraction/fraction.ma diff | blob | history
helm/software/matita/library/Q/fraction/numerator_denominator.ma [new file with mode: 0644] blob
helm/software/matita/library/Q/q/q.ma diff | blob | history
helm/software/matita/library/Q/q/qtimes.ma diff | blob | history
helm/software/matita/library/depends diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.