--- a/lib/scripts/dimacs2hol.pl Sat Dec 20 11:39:34 2008 +0100 +++ b/lib/scripts/dimacs2hol.pl Sat Dec 20 11:55:34 2008 +0100 @@ -1,5 +1,3 @@ -# -# $Id$ # # dimacs2hol.pl - convert files in DIMACS CNF format [1] into Isabelle/HOL # theories