--- a/src/HOL/Fun.thy Wed Feb 25 11:49:05 2009 +0100
+++ b/src/HOL/Fun.thy Thu Mar 05 08:23:08 2009 +0100
@@ -1,5 +1,4 @@
(* Title: HOL/Fun.thy
- ID: $Id$
Author: Tobias Nipkow, Cambridge University Computer Laboratory
Copyright 1994 University of Cambridge
*)