removed old/broken CVS Ids;
authorwenzelm
Wed Mar 04 23:52:47 2009 +0100 (2009-03-04)
changeset 30267171b3bd93c90
parent 30266 970bf4f594c9
child 30268 5af6ed62385b
removed old/broken CVS Ids;
src/HOL/Library/Determinants.thy
src/HOL/Library/Euclidean_Space.thy
src/HOL/Library/Finite_Cartesian_Product.thy
src/HOL/Library/Glbs.thy
src/HOL/Library/Permutations.thy
src/HOL/Library/Topology_Euclidean_Space.thy
     1.1 --- a/src/HOL/Library/Determinants.thy	Wed Mar 04 23:05:32 2009 +0100
     1.2 +++ b/src/HOL/Library/Determinants.thy	Wed Mar 04 23:52:47 2009 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  (* Title:      Determinants
     1.5 -   ID:         $Id: 
     1.6     Author:     Amine Chaieb, University of Cambridge
     1.7  *)
     1.8  
     2.1 --- a/src/HOL/Library/Euclidean_Space.thy	Wed Mar 04 23:05:32 2009 +0100
     2.2 +++ b/src/HOL/Library/Euclidean_Space.thy	Wed Mar 04 23:52:47 2009 +0100
     2.3 @@ -1,5 +1,4 @@
     2.4  (* Title:      Library/Euclidean_Space
     2.5 -   ID:         $Id: 
     2.6     Author:     Amine Chaieb, University of Cambridge
     2.7  *)
     2.8  
     3.1 --- a/src/HOL/Library/Finite_Cartesian_Product.thy	Wed Mar 04 23:05:32 2009 +0100
     3.2 +++ b/src/HOL/Library/Finite_Cartesian_Product.thy	Wed Mar 04 23:52:47 2009 +0100
     3.3 @@ -1,5 +1,4 @@
     3.4  (* Title:      HOL/Library/Finite_Cartesian_Product
     3.5 -   ID:         $Id: Finite_Cartesian_Product.thy,v 1.5 2009/01/29 22:59:46 chaieb Exp $
     3.6     Author:     Amine Chaieb, University of Cambridge
     3.7  *)
     3.8  
     4.1 --- a/src/HOL/Library/Glbs.thy	Wed Mar 04 23:05:32 2009 +0100
     4.2 +++ b/src/HOL/Library/Glbs.thy	Wed Mar 04 23:52:47 2009 +0100
     4.3 @@ -1,5 +1,4 @@
     4.4  (* Title:      Glbs
     4.5 -   ID:         $Id: 
     4.6     Author:     Amine Chaieb, University of Cambridge
     4.7  *)
     4.8  
     5.1 --- a/src/HOL/Library/Permutations.thy	Wed Mar 04 23:05:32 2009 +0100
     5.2 +++ b/src/HOL/Library/Permutations.thy	Wed Mar 04 23:52:47 2009 +0100
     5.3 @@ -1,5 +1,4 @@
     5.4  (* Title:      Library/Permutations
     5.5 -   ID:         $Id: 
     5.6     Author:     Amine Chaieb, University of Cambridge
     5.7  *)
     5.8  
     6.1 --- a/src/HOL/Library/Topology_Euclidean_Space.thy	Wed Mar 04 23:05:32 2009 +0100
     6.2 +++ b/src/HOL/Library/Topology_Euclidean_Space.thy	Wed Mar 04 23:52:47 2009 +0100
     6.3 @@ -1,7 +1,7 @@
     6.4  (* Title:      Topology
     6.5 -   ID:         $Id: 
     6.6     Author:     Amine Chaieb, University of Cambridge
     6.7 -               Robert Himmelmann, TU Muenchen*)
     6.8 +   Author:     Robert Himmelmann, TU Muenchen
     6.9 +*)
    6.10  
    6.11  header {* Elementary topology in Euclidean space. *}
    6.12