src/HOL/Metis_Examples/BigO.thy

--- a/src/HOL/Metis_Examples/BigO.thy	Wed Dec 15 11:26:28 2010 +0100
+++ b/src/HOL/Metis_Examples/BigO.thy	Wed Dec 15 11:26:28 2010 +0100
@@ -1,7 +1,8 @@
 (*  Title:      HOL/Metis_Examples/BigO.thy
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
+    Author:     Jasmin Blanchette, TU Muenchen
 
-Testing the metis method.
+Testing Metis.
 *)
 
 header {* Big O notation *}