lib/Tools/dimacs2hol
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-10-21 wenzelm 2008-10-21 tuned usage line;
2008-04-08 wenzelm 2008-04-08 removed obsolete AUTO_PERL feature;
2005-04-26 wenzelm 2005-04-26 restored AUTO_BASH/PERL -- beware of ./configure!
2005-04-20 quigley 2005-04-20 Removed remaining references to Main.thy in reconstruction code.
2004-08-23 webertj 2004-08-23 initial version