]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c328a3c) | patch
Removed final question marks from {apply|elim|rewrite}s.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Sep 2005 09:41:19 +0000 (09:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Sep 2005 09:41:19 +0000 (09:41 +0000)
commitb8c6dd0220fba9ebed2d51d5808790b5949177ea
tree365e9aab2c5ebc9501b105b1c2141d50e2597316tree | snapshot
parentc328a3c15e865515a56d1c1d6d0c2619245a60a0commit | diff
Removed final question marks from {apply|elim|rewrite}s.
(This used to change the goals order, but it has now been fixed by Gares)
helm/matita/library/Q/q.ma diff | blob | history
helm/matita/library/Z/plus.ma diff | blob | history
helm/matita/library/Z/times.ma diff | blob | history
helm/matita/library/nat/compare.ma diff | blob | history
helm/matita/library/nat/div_and_mod.ma diff | blob | history
helm/matita/library/nat/factorization.ma diff | blob | history
helm/matita/library/nat/log.ma diff | blob | history
helm/matita/library/nat/minimization.ma diff | blob | history
helm/matita/library/nat/minus.ma diff | blob | history
helm/matita/library/nat/nat.ma diff | blob | history
helm/matita/library/nat/nth_prime.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.