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