# HG changeset patch
# User haftmann
# Date 1236877286 -3600
# Node ID 45b434d8ef8dade1815716dc8b8ecfca1c2fdf35
# Parent  7cdcc9dd95cb6575015c8dd6dc92678ba1383460
strippd Id

diff -r 7cdcc9dd95cb -r 45b434d8ef8d src/HOL/NatBin.thy
--- a/src/HOL/NatBin.thy	Thu Mar 12 18:01:26 2009 +0100
+++ b/src/HOL/NatBin.thy	Thu Mar 12 18:01:26 2009 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/NatBin.thy
-    ID:         $Id$
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1999  University of Cambridge
 *)