]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16bd8ab) | patch
I have changed the nice notation for derivatives a little bit to always pick
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Nov 2006 21:55:07 +0000 (21:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 30 Nov 2006 21:55:07 +0000 (21:55 +0000)
commit45727df35e5ac99ba037318d216210c24ff706ad
tree8ddc4afc7a99d2393e1d07d4358ef1c91fb3c579tree | snapshot
parent16bd8ab4cb83990229256fb9aa65c94f90f25c5dcommit | diff
I have changed the nice notation for derivatives a little bit to always pick
'x' as the default variable. This is the only reasonable choice since we already
always pick 'x' for polynoms.
matita/library/demo/power_derivative.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.