--- a/src/Provers/quantifier1.ML Sat Mar 13 16:37:15 2010 +0100
+++ b/src/Provers/quantifier1.ML Sat Mar 13 16:44:12 2010 +0100
@@ -1,5 +1,4 @@
-(* Title: Provers/quantifier1
- ID: $Id$
+(* Title: Provers/quantifier1.ML
Author: Tobias Nipkow
Copyright 1997 TU Munich