
diff -r 3dcd890b0bf2 -r f46c75ca14ff doc-src/IsarRef/Thy/Spec.thy
--- a/doc-src/IsarRef/Thy/Spec.thy	Tue Jun 03 00:16:07 2008 +0200
+++ b/doc-src/IsarRef/Thy/Spec.thy	Tue Jun 03 00:16:18 2008 +0200
@@ -884,7 +884,7 @@
     @{command_def "classes"} & : & \isartrans{theory}{theory} \\
     @{command_def "classrel"} & : & \isartrans{theory}{theory} & (axiomatic!) \\
     @{command_def "defaultsort"} & : & \isartrans{theory}{theory} \\
-    @{command_def "class_deps"} & : & \isarkeep{theory~|~proof} \\
+    @{command_def "class_deps"}@{text "\<^sup>*"} & : & \isarkeep{theory~|~proof} \\
   \end{matharray}
 
   \begin{rail}




