| changeset 39067 | 2accb6526d11 |
| parent 38510 | ec0408c7328b |
| child 39599 | d9c247f7afa3 |
--- a/doc-src/Codegen/Thy/Evaluation.thy Thu Sep 02 16:41:44 2010 +0200 +++ b/doc-src/Codegen/Thy/Evaluation.thy Thu Sep 02 16:42:19 2010 +0200 @@ -96,7 +96,7 @@ allows to use pattern matching on constructors stemming from compiled @{text "datatypes"}. - For a less simplistic example, theory @{theory Ferrack} is + For a less simplistic example, theory @{text Ferrack} is a good reference. *}