--- 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
*)