# HG changeset patch
# User haftmann
# Date 1232027544 -3600
# Node ID ddcbd5e4041d897f0eea95cccd63ee6dd03a574b
# Parent  b19b8793b71c27f307befb79fd65f4fae83d1234
dropped $Id$

diff -r b19b8793b71c -r ddcbd5e4041d src/HOL/Library/LaTeXsugar.thy
--- a/src/HOL/Library/LaTeXsugar.thy	Thu Jan 15 14:52:23 2009 +0100
+++ b/src/HOL/Library/LaTeXsugar.thy	Thu Jan 15 14:52:24 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Library/LaTeXsugar.thy
-    ID:         $Id$
     Author:     Gerwin Klain, Tobias Nipkow, Norbert Schirmer
     Copyright   2005 NICTA and TUM
 *)