src/Doc/Classes/Classes.thy
changeset 58202 be1d10595b7b
parent 56678 71a8ac5d039f
child 58620 7435b6a3f72e
equal deleted inserted replaced
58201:5bf56c758e02 58202:be1d10595b7b
   625 
   625 
   626     \item[@{command "print_classes"}] print a list of all classes
   626     \item[@{command "print_classes"}] print a list of all classes
   627       together with associated operations etc.
   627       together with associated operations etc.
   628 
   628 
   629     \item[@{command "class_deps"}] visualizes the subclass relation
   629     \item[@{command "class_deps"}] visualizes the subclass relation
   630       between all classes as a Hasse diagram.
   630       between all classes as a Hasse diagram.  An optional first sort argument
       
   631       constrains the set of classes to all subclasses of this sort,
       
   632       an optional second sort argument to all superclasses of this sort.
   631 
   633 
   632   \end{description}
   634   \end{description}
   633 *}
   635 *}
   634 
   636 
   635 end
   637 end