equal
deleted
inserted
replaced
1 # |
|
2 # $Id$ |
|
3 # |
1 # |
4 # dimacs2hol.pl - convert files in DIMACS CNF format [1] into Isabelle/HOL |
2 # dimacs2hol.pl - convert files in DIMACS CNF format [1] into Isabelle/HOL |
5 # theories |
3 # theories |
6 # |
4 # |
7 # Author: Tjark Weber |
5 # Author: Tjark Weber |