--- a/src/HOL/Refute.thy Fri Oct 02 21:39:06 2009 +0200 +++ b/src/HOL/Refute.thy Fri Oct 02 21:41:57 2009 +0200 @@ -1,5 +1,4 @@ (* Title: HOL/Refute.thy - ID: $Id$ Author: Tjark Weber Copyright 2003-2007