]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a27004) | patch
Notation \middot used everywhere in place of *.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Nov 2006 22:09:47 +0000 (22:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Nov 2006 22:09:47 +0000 (22:09 +0000)
commit45d8e093b732768f58794dc3169e2980257dc7d3
treeb8d5d6e975c4482b64be44cc2de73039ff792930tree | snapshot
parent9a27004d7665a5659d1959392d3d0ff5b23b3603commit | diff
Notation \middot used everywhere in place of *.
helm/software/matita/library/demo/power_derivative.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.