]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 83a494f) | patch
Minor changes because of the new, weaker (but much faster) delift.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 6 Jun 2011 21:46:32 +0000 (21:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 6 Jun 2011 21:46:32 +0000 (21:46 +0000)
commit31e8729021717072f88d250ef41527da3488289e
treef8998f6948fa1795644641fc2e4982d374287f18tree | snapshot
parent83a494ff9e15871231c8338df95f89926f2293bacommit | diff
Minor changes because of the new, weaker (but much faster) delift.
matita/matita/lib/arithmetics/bigops.ma diff | blob | history
matita/matita/lib/arithmetics/chinese_reminder.ma diff | blob | history
matita/matita/lib/arithmetics/gcd.ma diff | blob | history
matita/matita/lib/arithmetics/minimization.ma diff | blob | history
matita/matita/lib/arithmetics/primes.ma diff | blob | history
matita/matita/lib/basics/list.ma diff | blob | history
matita/matita/lib/lambda/ext.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.