]> matita.cs.unibo.it Git - helm.git/commit
- Comments updated
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Nov 2002 12:45:25 +0000 (12:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 4 Nov 2002 12:45:25 +0000 (12:45 +0000)
commit87b143efa63a920f7e36d2590ee23a45f450dfce
treea88d53acad423583ec16286f126d8ef116f40599
parent4e4c541d10848af70ef5cb2ff53e58c02cf8833f
- Comments updated
- Eq renamed to eqT
helm/gTopLevel/esempi/fourier.cic