--- 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]]