src/Doc/Isar_Ref/Spec.thy

--- a/src/Doc/Isar_Ref/Spec.thy	Thu Apr 16 12:03:43 2015 +0200
+++ b/src/Doc/Isar_Ref/Spec.thy	Thu Apr 16 12:37:30 2015 +0200
@@ -948,9 +948,9 @@
     ;
     @@{command subclass} @{syntax nameref}
     ;
-    @@{command class_deps} (sort_list sort_list?)?
+    @@{command class_deps} (class_bounds class_bounds?)?
     ;
-    sort_list: @{syntax sort} | '(' (@{syntax sort} + @'|') ')'
+    class_bounds: @{syntax sort} | '(' (@{syntax sort} + @'|') ')'
   \<close>}
 
   \begin{description}