src/HOL/Library/BigO.thy
changeset 16932 0bca871f5a21
parent 16908 d374530bfaaa
child 16961 9c5871b16553
     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