# HG changeset patch
# User haftmann
# Date 1234787889 -3600
# Node ID 125d513d9e39aa4a9fe04c70a6130ed6f86f7c5b
# Parent  a2594b5c945abcf3b45f31e1193261015e3595a2
dropped Id

diff -r a2594b5c945a -r 125d513d9e39 src/HOL/ex/Codegenerator_Pretty.thy
--- a/src/HOL/ex/Codegenerator_Pretty.thy	Mon Feb 16 13:38:09 2009 +0100
+++ b/src/HOL/ex/Codegenerator_Pretty.thy	Mon Feb 16 13:38:09 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/Codegenerator_Pretty.thy
-    ID:         $Id$
     Author:     Florian Haftmann, TU Muenchen
 *)