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