diff -r d4923a7f42c1 -r ac4d75f86d97 doc-src/IsarImplementation/Thy/Prelim.thy
--- a/doc-src/IsarImplementation/Thy/Prelim.thy	Sun Oct 31 11:45:45 2010 +0100
+++ b/doc-src/IsarImplementation/Thy/Prelim.thy	Sun Oct 31 13:26:37 2010 +0100
@@ -663,6 +663,7 @@
 *}
 setup airspeed_velocity_setup
 
+declare [[airspeed_velocity = 10]]
 declare [[airspeed_velocity = 9.9]]