]> matita.cs.unibo.it Git - helm.git/commit
More Q stuff organized in a coherent way.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Jun 2008 13:26:27 +0000 (13:26 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Jun 2008 13:26:27 +0000 (13:26 +0000)
commit9d7d400d540ba79edaab1e0c8345127e1a79bb53
treebf2b8690bd1228330bc55abeb2fabdc3ff819c26
parent13ee180b4b982b7a150e8d727ed4b83813ac3fa2
More Q stuff organized in a coherent way.
helm/software/matita/library/Q/Qplus_andrea.ma [deleted file]
helm/software/matita/library/Q/frac.ma
helm/software/matita/library/Q/fraction/finv.ma
helm/software/matita/library/Q/q/q.ma
helm/software/matita/library/Q/q/qtimes.ma
helm/software/matita/library/depends