git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1107 9cb10eec-f628-0410-908a-98ac1d910071
Initial import of source files from finito-provers/oi-prover

git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1108 9cb10eec-f628-0410-908a-98ac1d910071
Missing project files

git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1109 9cb10eec-f628-0410-908a-98ac1d910071
Restored original Main.hs


git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1110 9cb10eec-f628-0410-908a-98ac1d910071
Separated out oi-prover modules into separate directory and wrapper module to be imported qualified into main.

git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1111 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1112 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1113 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1114 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1115 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1116 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1117 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1118 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1119 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1120 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1121 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1122 9cb10eec-f628-0410-908a-98ac1d910071
First working verision of commandline handling for paver.


git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1131 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1132 9cb10eec-f628-0410-908a-98ac1d910071
Changes Main.hs to the scaling benchmark.


git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1133 9cb10eec-f628-0410-908a-98ac1d910071
git-svn-id: https://virgo.aston.ac.uk/FPbyContract/paver@1135 9cb10eec-f628-0410-908a-98ac1d910071