--- a/src/HOL/Eisbach/Examples_FOL.thy Sat Feb 13 12:13:10 2016 +0100
+++ b/src/HOL/Eisbach/Examples_FOL.thy Sat Feb 13 12:17:25 2016 +0100
@@ -1,4 +1,4 @@
-(* Title: HOL/Eisbach/Examples.thy
+(* Title: HOL/Eisbach/Examples_FOL.thy
Author: Daniel Matichuk, NICTA/UNSW
*)