1.1 --- a/src/HOL/Induct/Common_Patterns.thy Tue Feb 17 21:51:52 2009 +0100
1.2 +++ b/src/HOL/Induct/Common_Patterns.thy Wed Feb 18 08:23:11 2009 +0100
1.3 @@ -1,5 +1,4 @@
1.4 (* Title: HOL/Induct/Common_Patterns.thy
1.5 - ID: $Id$
1.6 Author: Makarius
1.7 *)
1.8