--- a/src/HOL/Eisbach/Examples.thy Sun May 03 18:45:58 2015 +0200 +++ b/src/HOL/Eisbach/Examples.thy Sun May 03 18:51:26 2015 +0200 @@ -1,4 +1,4 @@ -(* Title: Examples.thy +(* Title: HOL/Eisbach/Examples.thy Author: Daniel Matichuk, NICTA/UNSW *)