author | haftmann |
Fri, 20 Feb 2009 18:29:09 +0100 | |
changeset 30021 | 19c06d4763e0 |
parent 30014 | 03b46412760e |
child 30022 | 1d8b8fa19074 |
--- 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 *}