]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1b382b) | patch
simplify used in place of change
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Feb 2006 21:50:00 +0000 (21:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Feb 2006 21:50:00 +0000 (21:50 +0000)
commit69ea26e2bc9cb25e3a3dfa37b7fa0d20d2697b0b
treed65be97ccbdb7d2598a58536fcb6fea17ce95a4dtree | snapshot
parente1b382b7a82e69cb009571017c16a3665f9946c4commit | diff
simplify used in place of change
helm/software/matita/library/Q/q.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.