changeset 39745 | 3aa2bc9c5478 |
parent 39712 | 94b1890e4e4a |
child 40350 | 1ef7ee8dd165 |
--- a/doc-src/Codegen/Thy/Evaluation.thy Mon Sep 27 16:19:37 2010 +0200 +++ b/doc-src/Codegen/Thy/Evaluation.thy Mon Sep 27 16:27:31 2010 +0200 @@ -206,7 +206,7 @@ datatype %quote form = T | F | And form form | Or form form (*<*) -(*>*) ML %tt %quote {* +(*>*) ML %quotett {* fun eval_form @{code T} = true | eval_form @{code F} = false | eval_form (@{code And} (p, q)) =