| changeset 29143 | 72c960b2b83e |
| parent 28650 | a7ba12e0d3b7 |
| 29140:e7ac5bb20aed | 29143:72c960b2b83e |
|---|---|
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # $Id$ |
|
4 # Author: Tjark Weber |
3 # Author: Tjark Weber |
5 # Copyright 2004 |
|
6 # |
4 # |
7 # DESCRIPTION: convert DIMACS CNF files into Isabelle/HOL theories |
5 # DESCRIPTION: convert DIMACS CNF files into Isabelle/HOL theories |
8 |
6 |
9 |
7 |
10 ## diagnostics |
8 ## diagnostics |