# HG changeset patch
# User bulwahn
# Date 1294407988 -3600
# Node ID ea56b98aee83f14acb8f427bd159d96d0de54aec
# Parent  a7a03f85635463a933d94bd8bff5071c736ac8df
removing obselete Id comments from HOL/ex theories

diff -r a7a03f856354 -r ea56b98aee83 src/HOL/ex/CTL.thy
--- a/src/HOL/ex/CTL.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/CTL.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/CTL.thy
-    ID:         $Id$
     Author:     Gertrud Bauer
 *)
 
diff -r a7a03f856354 -r ea56b98aee83 src/HOL/ex/Guess.thy
--- a/src/HOL/ex/Guess.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/Guess.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*
-    ID:         $Id$
     Author:     Makarius
 *)
 
diff -r a7a03f856354 -r ea56b98aee83 src/HOL/ex/Hex_Bin_Examples.thy
--- a/src/HOL/ex/Hex_Bin_Examples.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/Hex_Bin_Examples.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/Hex_Bin_Examples.thy
-    ID:         $Id$
     Author:     Gerwin Klein, NICTA
 *)
 
diff -r a7a03f856354 -r ea56b98aee83 src/HOL/ex/Higher_Order_Logic.thy
--- a/src/HOL/ex/Higher_Order_Logic.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/Higher_Order_Logic.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/Higher_Order_Logic.thy
-    ID:         $Id$
     Author:     Gertrud Bauer and Markus Wenzel, TU Muenchen
 *)
 
diff -r a7a03f856354 -r ea56b98aee83 src/HOL/ex/Intuitionistic.thy
--- a/src/HOL/ex/Intuitionistic.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/Intuitionistic.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/Intuitionistic.thy
-    ID:         $Id$
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1991  University of Cambridge
 
diff -r a7a03f856354 -r ea56b98aee83 src/HOL/ex/MT.thy
--- a/src/HOL/ex/MT.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/MT.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/MT.thy
-    ID:         $Id$
     Author:     Jacob Frost, Cambridge University Computer Laboratory
     Copyright   1993  University of Cambridge
 
diff -r a7a03f856354 -r ea56b98aee83 src/HOL/ex/MonoidGroup.thy
--- a/src/HOL/ex/MonoidGroup.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/MonoidGroup.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/MonoidGroup.thy
-    ID:         $Id$
     Author:     Markus Wenzel
 *)
 
diff -r a7a03f856354 -r ea56b98aee83 src/HOL/ex/Primrec.thy
--- a/src/HOL/ex/Primrec.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/Primrec.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/Primrec.thy
-    ID:         $Id$
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1997  University of Cambridge
 
diff -r a7a03f856354 -r ea56b98aee83 src/HOL/ex/SVC_Oracle.thy
--- a/src/HOL/ex/SVC_Oracle.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/SVC_Oracle.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/SVC_Oracle.thy
-    ID:         $Id$
     Author:     Lawrence C Paulson
     Copyright   1999  University of Cambridge
 
diff -r a7a03f856354 -r ea56b98aee83 src/HOL/ex/Sorting.thy
--- a/src/HOL/ex/Sorting.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/Sorting.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/sorting.thy
-    ID:         $Id$
     Author:     Tobias Nipkow
     Copyright   1994 TU Muenchen
 *)
diff -r a7a03f856354 -r ea56b98aee83 src/HOL/ex/Unification.thy
--- a/src/HOL/ex/Unification.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/Unification.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,4 +1,4 @@
-(*  ID:         $Id$
+(*
     Author:     Alexander Krauss, Technische Universitaet Muenchen
 *)
 
diff -r a7a03f856354 -r ea56b98aee83 src/HOL/ex/set.thy
--- a/src/HOL/ex/set.thy	Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/set.thy	Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
 (*  Title:      HOL/ex/set.thy
-    ID:         $Id$
     Author:     Tobias Nipkow and Lawrence C Paulson
     Copyright   1991  University of Cambridge
 *)