# HG changeset patch
# User haftmann
# Date 1236237788 -3600
# Node ID 429612400fe9d1368e8e658b938093466bcb401b
# Parent  7b25295489b65fb356db30d63ba0964cb9b2cf67
dropped Id

diff -r 7b25295489b6 -r 429612400fe9 src/HOL/Fun.thy
--- 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
 *)