# HG changeset patch
# User wenzelm
# Date 1169668460 -3600
# Node ID 7a78b9531b80620d3314da15141dd88e25fdce3a
# Parent  e7d6cb237b5eb0d3410fc204f68db71e42ed1645
updated timing;

diff -r e7d6cb237b5e -r 7a78b9531b80 src/HOL/ex/Lagrange.thy
--- a/src/HOL/ex/Lagrange.thy	Wed Jan 24 17:10:50 2007 +0100
+++ b/src/HOL/ex/Lagrange.thy	Wed Jan 24 20:54:20 2007 +0100
@@ -41,7 +41,7 @@
 
 
 text {*
-  A challenge by John Harrison. Takes about 22s on a 1.6GHz machine.
+  A challenge by John Harrison. Takes about 17s on a 1.6GHz machine.
 *}
 
 lemma