]> matita.cs.unibo.it Git - helm.git/commit
{pattern} => in pattern;
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Nov 2011 09:41:59 +0000 (09:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 21 Nov 2011 09:41:59 +0000 (09:41 +0000)
commite28ee799d0281fb76d484d9b4c01d8bed4716bbe
treef097a4a3524cbff392d8e90267e80f82e256ceb7
parentc6dc6200c1e3022bf76b9589a8e30dd1cc6e864c
{pattern} => in pattern;
matita/matita/lib/arithmetics/bigops.ma
matita/matita/lib/arithmetics/binomial.ma
matita/matita/lib/arithmetics/chinese_reminder.ma
matita/matita/lib/arithmetics/congruence.ma
matita/matita/lib/arithmetics/div_and_mod.ma
matita/matita/lib/arithmetics/exp.ma
matita/matita/lib/arithmetics/factorial.ma
matita/matita/lib/arithmetics/gcd.ma
matita/matita/lib/arithmetics/minimization.ma