--- a/doc-src/IsarRef/Thy/Inner_Syntax.thy Wed Apr 06 13:27:59 2011 +0200
+++ b/doc-src/IsarRef/Thy/Inner_Syntax.thy Wed Apr 06 13:33:46 2011 +0200
@@ -804,8 +804,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}
@@ -827,7 +826,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}