--- a/src/HOL/ex/Higher_Order_Logic.thy Fri Jan 07 13:24:09 2011 +0100
+++ b/src/HOL/ex/Higher_Order_Logic.thy Fri Jan 07 14:46:28 2011 +0100
@@ -1,5 +1,4 @@
(* Title: HOL/ex/Higher_Order_Logic.thy
- ID: $Id$
Author: Gertrud Bauer and Markus Wenzel, TU Muenchen
*)