proper header;
authorwenzelm
Thu Jul 28 15:19:47 2005 +0200 (2005-07-28)
changeset 169320bca871f5a21
parent 16931 e41d8e319dfd
child 16933 91ded127f5f7
proper header;
src/HOL/Library/BigO.thy
src/HOL/Library/SetsAndFunctions.thy
     1.1 --- a/src/HOL/Library/BigO.thy	Thu Jul 28 15:19:46 2005 +0200
     1.2 +++ b/src/HOL/Library/BigO.thy	Thu Jul 28 15:19:47 2005 +0200
     1.3 @@ -1,4 +1,5 @@
     1.4 -(*  Title:      BigO.thy
     1.5 +(*  Title:      HOL/Library/BigO.thy
     1.6 +    ID:		$Id$
     1.7      Authors:    Jeremy Avigad and Kevin Donnelly
     1.8  *)
     1.9  
     2.1 --- a/src/HOL/Library/SetsAndFunctions.thy	Thu Jul 28 15:19:46 2005 +0200
     2.2 +++ b/src/HOL/Library/SetsAndFunctions.thy	Thu Jul 28 15:19:47 2005 +0200
     2.3 @@ -1,4 +1,5 @@
     2.4 -(*  Title:      SetsAndFunctions.thy
     2.5 +(*  Title:      HOL/Library/SetsAndFunctions.thy
     2.6 +    ID:		$Id$
     2.7      Author:     Jeremy Avigad and Kevin Donnelly
     2.8  *)
     2.9