--- a/src/HOL/Lambda/Standardization.thy Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Lambda/Standardization.thy Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
(* Title: HOL/Lambda/Standardization.thy
- ID: $Id$
Author: Stefan Berghofer
Copyright 2005 TU Muenchen
*)