--- a/lib/Tools/dimacs2hol Fri Dec 19 20:37:29 2008 +0100
+++ b/lib/Tools/dimacs2hol Sat Dec 20 11:39:27 2008 +0100
@@ -1,8 +1,6 @@
#!/usr/bin/env bash
#
-# $Id$
# Author: Tjark Weber
-# Copyright 2004
#
# DESCRIPTION: convert DIMACS CNF files into Isabelle/HOL theories