# HG changeset patch
# User haftmann
# Date 1233579382 -3600
# Node ID 01cae7ad8576f78399d0fc4825ea7d6187a566a5
# Parent  10e6f2faa1e5df0b9678794743546c4805f691f3
dropped Id

diff -r 10e6f2faa1e5 -r 01cae7ad8576 src/HOL/Presburger.thy
--- a/src/HOL/Presburger.thy	Mon Feb 02 09:27:54 2009 +0100
+++ b/src/HOL/Presburger.thy	Mon Feb 02 13:56:22 2009 +0100
@@ -1,5 +1,4 @@
 (* Title:      HOL/Presburger.thy
-   ID:         $Id$
    Author:     Amine Chaieb, TU Muenchen
 *)