lib/scripts/dimacs2hol.pl
2008-12-20 wenzelm 2008-12-20 removed Ids;
2006-08-28 webertj 2006-08-28 encode clauses as Isar premises, rather than as object-logic &, for faster parsing
2004-08-23 webertj 2004-08-23 initial version