changeset 39876 | 1ff9bce085bd |
parent 39866 | 5ec01d5acd0c |
child 40126 | 916cb4a28ffd |
--- a/doc-src/IsarImplementation/Thy/Prelim.thy Wed Oct 20 21:22:56 2010 +0100 +++ b/doc-src/IsarImplementation/Thy/Prelim.thy Thu Oct 21 20:00:46 2010 +0100 @@ -565,7 +565,7 @@ For example, the predefined configuration option @{attribute show_types} controls output of explicit type constraints for - variables in printed terms (cf.\ \secref{sec:parse-print}). Its + variables in printed terms (cf.\ \secref{sec:read-print}). Its value can be modified within Isar text like this: *}