| changeset 50068 | 310e9b810bbf |
| parent 50065 | 7c01dc2dcb8c |
| child 50070 | e447ad4d6edd |
--- a/src/Doc/IsarRef/Generic.thy Sun Nov 04 20:11:05 2012 +0100 +++ b/src/Doc/IsarRef/Generic.thy Sun Nov 04 20:11:19 2012 +0100 @@ -849,7 +849,7 @@ Note that forward simplification restricts the simplifier to its most basic operation of term rewriting; solver and looper tactics - \cite{isabelle-ref} are \emph{not} involved here. The @{text + \cite{isabelle-ref} are \emph{not} involved here. The @{attribute simplified} attribute should be only rarely required under normal circumstances.