From: Enrico Tassi Date: Fri, 11 Jan 2008 10:25:29 +0000 (+0000) Subject: increased a timeout, matitac (not .opt) should be able to do it in time X-Git-Tag: make_still_working~5688 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4bb9fdc4df84b9659ef3850f09e53aa0284a3250;p=helm.git increased a timeout, matitac (not .opt) should be able to do it in time --- diff --git a/helm/software/matita/library/demo/power_derivative.ma b/helm/software/matita/library/demo/power_derivative.ma index 9e59079bd..0526a0163 100644 --- a/helm/software/matita/library/demo/power_derivative.ma +++ b/helm/software/matita/library/demo/power_derivative.ma @@ -283,7 +283,7 @@ theorem derivative_power: ∀n:nat. D[x \sup n] = n·x \sup (pred n). clear H. = (x \sup m + m · (x \sup (1 + pred m))) by _. = (x \sup m + m · x \sup m) by _. - = ((1+m) · x \sup m) by _ (timeout=30) + = ((1+m) · x \sup m) by _ (timeout=60) done. qed.