removing obselete Id comments from HOL/ex theories
authorbulwahn
Fri Jan 07 14:46:28 2011 +0100 (2011-01-07)
changeset 41460ea56b98aee83
parent 41441 a7a03f856354
child 41461 52d39af5e680
removing obselete Id comments from HOL/ex theories
src/HOL/ex/CTL.thy
src/HOL/ex/Guess.thy
src/HOL/ex/Hex_Bin_Examples.thy
src/HOL/ex/Higher_Order_Logic.thy
src/HOL/ex/Intuitionistic.thy
src/HOL/ex/MT.thy
src/HOL/ex/MonoidGroup.thy
src/HOL/ex/Primrec.thy
src/HOL/ex/SVC_Oracle.thy
src/HOL/ex/Sorting.thy
src/HOL/ex/Unification.thy
src/HOL/ex/set.thy
     1.1 --- a/src/HOL/ex/CTL.thy	Fri Jan 07 13:24:09 2011 +0100
     1.2 +++ b/src/HOL/ex/CTL.thy	Fri Jan 07 14:46:28 2011 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      HOL/ex/CTL.thy
     1.5 -    ID:         $Id$
     1.6      Author:     Gertrud Bauer
     1.7  *)
     1.8  
     2.1 --- a/src/HOL/ex/Guess.thy	Fri Jan 07 13:24:09 2011 +0100
     2.2 +++ b/src/HOL/ex/Guess.thy	Fri Jan 07 14:46:28 2011 +0100
     2.3 @@ -1,5 +1,4 @@
     2.4  (*
     2.5 -    ID:         $Id$
     2.6      Author:     Makarius
     2.7  *)
     2.8  
     3.1 --- a/src/HOL/ex/Hex_Bin_Examples.thy	Fri Jan 07 13:24:09 2011 +0100
     3.2 +++ b/src/HOL/ex/Hex_Bin_Examples.thy	Fri Jan 07 14:46:28 2011 +0100
     3.3 @@ -1,5 +1,4 @@
     3.4  (*  Title:      HOL/ex/Hex_Bin_Examples.thy
     3.5 -    ID:         $Id$
     3.6      Author:     Gerwin Klein, NICTA
     3.7  *)
     3.8  
     4.1 --- a/src/HOL/ex/Higher_Order_Logic.thy	Fri Jan 07 13:24:09 2011 +0100
     4.2 +++ b/src/HOL/ex/Higher_Order_Logic.thy	Fri Jan 07 14:46:28 2011 +0100
     4.3 @@ -1,5 +1,4 @@
     4.4  (*  Title:      HOL/ex/Higher_Order_Logic.thy
     4.5 -    ID:         $Id$
     4.6      Author:     Gertrud Bauer and Markus Wenzel, TU Muenchen
     4.7  *)
     4.8  
     5.1 --- a/src/HOL/ex/Intuitionistic.thy	Fri Jan 07 13:24:09 2011 +0100
     5.2 +++ b/src/HOL/ex/Intuitionistic.thy	Fri Jan 07 14:46:28 2011 +0100
     5.3 @@ -1,5 +1,4 @@
     5.4  (*  Title:      HOL/ex/Intuitionistic.thy
     5.5 -    ID:         $Id$
     5.6      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     5.7      Copyright   1991  University of Cambridge
     5.8  
     6.1 --- a/src/HOL/ex/MT.thy	Fri Jan 07 13:24:09 2011 +0100
     6.2 +++ b/src/HOL/ex/MT.thy	Fri Jan 07 14:46:28 2011 +0100
     6.3 @@ -1,5 +1,4 @@
     6.4  (*  Title:      HOL/ex/MT.thy
     6.5 -    ID:         $Id$
     6.6      Author:     Jacob Frost, Cambridge University Computer Laboratory
     6.7      Copyright   1993  University of Cambridge
     6.8  
     7.1 --- a/src/HOL/ex/MonoidGroup.thy	Fri Jan 07 13:24:09 2011 +0100
     7.2 +++ b/src/HOL/ex/MonoidGroup.thy	Fri Jan 07 14:46:28 2011 +0100
     7.3 @@ -1,5 +1,4 @@
     7.4  (*  Title:      HOL/ex/MonoidGroup.thy
     7.5 -    ID:         $Id$
     7.6      Author:     Markus Wenzel
     7.7  *)
     7.8  
     8.1 --- a/src/HOL/ex/Primrec.thy	Fri Jan 07 13:24:09 2011 +0100
     8.2 +++ b/src/HOL/ex/Primrec.thy	Fri Jan 07 14:46:28 2011 +0100
     8.3 @@ -1,5 +1,4 @@
     8.4  (*  Title:      HOL/ex/Primrec.thy
     8.5 -    ID:         $Id$
     8.6      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     8.7      Copyright   1997  University of Cambridge
     8.8  
     9.1 --- a/src/HOL/ex/SVC_Oracle.thy	Fri Jan 07 13:24:09 2011 +0100
     9.2 +++ b/src/HOL/ex/SVC_Oracle.thy	Fri Jan 07 14:46:28 2011 +0100
     9.3 @@ -1,5 +1,4 @@
     9.4  (*  Title:      HOL/ex/SVC_Oracle.thy
     9.5 -    ID:         $Id$
     9.6      Author:     Lawrence C Paulson
     9.7      Copyright   1999  University of Cambridge
     9.8  
    10.1 --- a/src/HOL/ex/Sorting.thy	Fri Jan 07 13:24:09 2011 +0100
    10.2 +++ b/src/HOL/ex/Sorting.thy	Fri Jan 07 14:46:28 2011 +0100
    10.3 @@ -1,5 +1,4 @@
    10.4  (*  Title:      HOL/ex/sorting.thy
    10.5 -    ID:         $Id$
    10.6      Author:     Tobias Nipkow
    10.7      Copyright   1994 TU Muenchen
    10.8  *)
    11.1 --- a/src/HOL/ex/Unification.thy	Fri Jan 07 13:24:09 2011 +0100
    11.2 +++ b/src/HOL/ex/Unification.thy	Fri Jan 07 14:46:28 2011 +0100
    11.3 @@ -1,4 +1,4 @@
    11.4 -(*  ID:         $Id$
    11.5 +(*
    11.6      Author:     Alexander Krauss, Technische Universitaet Muenchen
    11.7  *)
    11.8  
    12.1 --- a/src/HOL/ex/set.thy	Fri Jan 07 13:24:09 2011 +0100
    12.2 +++ b/src/HOL/ex/set.thy	Fri Jan 07 14:46:28 2011 +0100
    12.3 @@ -1,5 +1,4 @@
    12.4  (*  Title:      HOL/ex/set.thy
    12.5 -    ID:         $Id$
    12.6      Author:     Tobias Nipkow and Lawrence C Paulson
    12.7      Copyright   1991  University of Cambridge
    12.8  *)