changeset 30021 | 19c06d4763e0 |
parent 28952 | 15a4b2cf8c34 |
child 32067 | e425fe0ff24a |
--- a/src/HOL/ex/Eval_Examples.thy Fri Feb 20 14:49:39 2009 +0100 +++ b/src/HOL/ex/Eval_Examples.thy Fri Feb 20 18:29:09 2009 +0100 @@ -1,6 +1,4 @@ -(* ID: $Id$ - Author: Florian Haftmann, TU Muenchen -*) +(* Author: Florian Haftmann, TU Muenchen *) header {* Small examples for evaluation mechanisms *}