# HG changeset patch
# User haftmann
# Date 1246270738 -7200
# Node ID f079b174e56a0d8b537510cbd1745c57759adb64
# Parent  a16bb835e97d31d34559ff399cf780a69303084d
dropped Id

diff -r a16bb835e97d -r f079b174e56a src/HOL/Tools/dseq.ML
--- a/src/HOL/Tools/dseq.ML	Mon Jun 29 12:18:57 2009 +0200
+++ b/src/HOL/Tools/dseq.ML	Mon Jun 29 12:18:58 2009 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Tools/dseq.ML
-    ID:         $Id$
     Author:     Stefan Berghofer, TU Muenchen
 
 Sequences with recursion depth limit.