diff -r 719b6a84938f -r fa6d6a2cefe4 sml.py
--- a/sml.py	Tue May 17 18:00:34 2011 +0200
+++ b/sml.py	Tue May 17 18:01:22 2011 +0200
@@ -3,19 +3,17 @@
 Description: sml provides classes for simple modal logic formulae construction and reduction. It also features a buggy parser for the SML syntax.
 Author: Eugen Sawin <sawine@informatik.uni-freiburg.de>
 """
-from os import path
-import os
 import re
-import token
 
 def main():
+    # edit your formulae here
     p = Variable(["p"])
     q = Variable(["q"])
     r = Variable(["r"])
     formula1 = Imp([Eq([p, q]), r])
     formula2 = Not([Or([p, q])])
     formula3 = Not([Not([p])])
-    formula =  formula1
+    formula =  formula1 # choose your formula here
 
     args = parse_arguments()
     if (args.formula):