]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eadb48c) | patch
More simplification using better notation.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 6 Dec 2006 15:52:45 +0000 (15:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 6 Dec 2006 15:52:45 +0000 (15:52 +0000)
commit7a94800f065f001bf08f911ffcec28cea08c2187
treeb41b4d0cb0fdde857c02ef1b0d8aee34d14fbe33tree | snapshot
parenteadb48c0b138740da937a1431e2dc05649b5d178commit | diff
More simplification using better notation.
matita/library/demo/power_derivative.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.