# HG changeset patch
# User wenzelm
# Date 1212444978 -7200
# Node ID f46c75ca14ff65a2f88ef130114ee418e1140074
# Parent  3dcd890b0bf2a77b36e0a744901a49ef68d7b7c2
class_deps: improper;

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}