Considerable speed boost.

1 files changed, 6 insertions, 2 deletions

diff --git a/src/hastabel2idp/idp/Theory.java b/src/hastabel2idp/idp/Theory.java
index c706e7d..db55a42 100644
--- a/src/hastabel2idp/idp/Theory.java
+++ b/src/hastabel2idp/idp/Theory.java
@@ -22,6 +22,8 @@ public class Theory
    {
       out.write("theory T:V {");
       out.insert_newline();
+      out.write("   {");
+      out.insert_newline();
    }
 
    public void add_predicate
@@ -33,7 +35,7 @@ public class Theory
    {
       boolean is_first;
 
-      out.write("   ");
+      out.write("      ");
 
       for (final Variable argument: arguments)
       {
@@ -61,7 +63,7 @@ public class Theory
          out.write(argument.get_name());
       }
 
-      out.write(") <=> (");
+      out.write(") <- (");
       out.write(formula.toString());
       out.write(").");
       out.insert_newline();
@@ -69,6 +71,8 @@ public class Theory
 
    public void write_footer ()
    {
+      out.write("   }");
+      out.insert_newline();
       out.write("}");
       out.insert_newline();
    }