--- a/src/FOL/FOL.thy Thu Jul 09 22:04:10 2009 +0200 +++ b/src/FOL/FOL.thy Thu Jul 09 22:09:58 2009 +0200 @@ -1,5 +1,4 @@ (* Title: FOL/FOL.thy - ID: $Id$ Author: Lawrence C Paulson and Markus Wenzel *)