--- 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 *)