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