From 5db568e9709437a8ad077130e43ed090970ac1dc Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 11 Jan 2008 14:10:06 +0000 Subject: [PATCH] increased timout --- helm/software/matita/library/demo/power_derivative.ma | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/software/matita/library/demo/power_derivative.ma b/helm/software/matita/library/demo/power_derivative.ma index 0526a0163..e910c8b6a 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=60) + = ((1+m) · x \sup m) by _ (timeout=120) done. qed. @@ -327,4 +327,4 @@ clear H. = (x \sup (1+m) + costante (1+m) · x \sup (1+m)) by _. = (x \sup (1+m) · (costante (2 + m))) by _ done. -qed. \ No newline at end of file +qed. -- 2.39.2