# HG changeset patch
# User haftmann
# Date 1235150949 -3600
# Node ID 19c06d4763e06feeaa789ba05854e8515081e992
# Parent  03b46412760e7ee1c1542435e6fffc89e0cd364e
stripped Id

diff -r 03b46412760e -r 19c06d4763e0 src/HOL/ex/Eval_Examples.thy
--- 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 *}