# HG changeset patch
# User wenzelm
# Date 1122556787 -7200
# Node ID 0bca871f5a21b4daa8d79d3855bff9466d53cb29
# Parent  e41d8e319dfd9de4296e5ddd9f7679a1a109fcbe
proper header;

diff -r e41d8e319dfd -r 0bca871f5a21 src/HOL/Library/BigO.thy
--- a/src/HOL/Library/BigO.thy	Thu Jul 28 15:19:46 2005 +0200
+++ b/src/HOL/Library/BigO.thy	Thu Jul 28 15:19:47 2005 +0200
@@ -1,4 +1,5 @@
-(*  Title:      BigO.thy
+(*  Title:      HOL/Library/BigO.thy
+    ID:		$Id$
     Authors:    Jeremy Avigad and Kevin Donnelly
 *)
 
diff -r e41d8e319dfd -r 0bca871f5a21 src/HOL/Library/SetsAndFunctions.thy
--- a/src/HOL/Library/SetsAndFunctions.thy	Thu Jul 28 15:19:46 2005 +0200
+++ b/src/HOL/Library/SetsAndFunctions.thy	Thu Jul 28 15:19:47 2005 +0200
@@ -1,4 +1,5 @@
-(*  Title:      SetsAndFunctions.thy
+(*  Title:      HOL/Library/SetsAndFunctions.thy
+    ID:		$Id$
     Author:     Jeremy Avigad and Kevin Donnelly
 *)