--- a/doc-src/IsarRef/Thy/document/Inner_Syntax.tex Wed Apr 06 13:27:59 2011 +0200
+++ b/doc-src/IsarRef/Thy/document/Inner_Syntax.tex Wed Apr 06 13:33:46 2011 +0200
@@ -824,8 +824,7 @@
val parse_ast_translation : (string * (ast list -> ast)) list
val parse_translation : (string * (term list -> term)) list
val print_translation : (string * (term list -> term)) list
-val typed_print_translation :
- (string * (bool -> typ -> term list -> term)) list
+val typed_print_translation : (string * (typ -> term list -> term)) list
val print_ast_translation : (string * (ast list -> ast)) list
\end{ttbox}
@@ -847,7 +846,7 @@
val print_translation:
(string * (Proof.context -> term list -> term)) list
val typed_print_translation:
- (string * (Proof.context -> bool -> typ -> term list -> term)) list
+ (string * (Proof.context -> typ -> term list -> term)) list
val print_ast_translation:
(string * (Proof.context -> ast list -> ast)) list
\end{ttbox}%