src/Doc/Implementation/Logic.thy

--- a/src/Doc/Implementation/Logic.thy	Tue Sep 22 08:38:25 2015 +0200
+++ b/src/Doc/Implementation/Logic.thy	Tue Sep 22 14:32:23 2015 +0200
@@ -667,7 +667,7 @@
   \end{mldecls}
   \begin{mldecls}
   @{index_ML Theory.add_deps: "Proof.context -> string ->
-  string * typ -> (string * typ) list -> theory -> theory"} \\
+  Theory.dep -> Theory.dep list -> theory -> theory"} \\
   \end{mldecls}
 
   \begin{description}