diff options
| author | joheras | 2013-05-31 12:10:57 +0000 |
|---|---|---|
| committer | joheras | 2013-05-31 12:10:57 +0000 |
| commit | daf76667b7212664ce83c8fd5aa5d48cb823e866 (patch) | |
| tree | 3ee9fc4547bafb531d3159f355c9dd8e24ad2508 /contrib/ML4PG/aux_files | |
| parent | fb355593a50e32ca3040491cd8acf847c8d3c181 (diff) | |
Moving ML4PG from coq directory to contrib directory.
Diffstat (limited to 'contrib/ML4PG/aux_files')
| -rw-r--r-- | contrib/ML4PG/aux_files/headers.txt | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/contrib/ML4PG/aux_files/headers.txt b/contrib/ML4PG/aux_files/headers.txt new file mode 100644 index 00000000..320270ae --- /dev/null +++ b/contrib/ML4PG/aux_files/headers.txt @@ -0,0 +1,35 @@ +@relation empty + +@attribute '1' real +@attribute '2' real +@attribute '3' real +@attribute '4' real +@attribute '5' real +@attribute '6' real +@attribute '7' real +@attribute '8' real +@attribute '9' real +@attribute '10' real +@attribute '11' real +@attribute '12' real +@attribute '13' real +@attribute '14' real +@attribute '15' real +@attribute '16' real +@attribute '17' real +@attribute '18' real +@attribute '19' real +@attribute '20' real +@attribute '21' real +@attribute '22' real +@attribute '23' real +@attribute '24' real +@attribute '25' real +@attribute '26' real +@attribute '27' real +@attribute '28' real +@attribute '29' real +@attribute '30' real + +@data + |