1.1 --- a/sml.py	Tue May 17 18:00:34 2011 +0200
     1.2 +++ b/sml.py	Tue May 17 18:01:22 2011 +0200
     1.3 @@ -3,19 +3,17 @@
     1.4  Description: sml provides classes for simple modal logic formulae construction and reduction. It also features a buggy parser for the SML syntax.
     1.5  Author: Eugen Sawin <sawine@informatik.uni-freiburg.de>
     1.6  """
     1.7 -from os import path
     1.8 -import os
     1.9  import re
    1.10 -import token
    1.11  
    1.12  def main():
    1.13 +    # edit your formulae here
    1.14      p = Variable(["p"])
    1.15      q = Variable(["q"])
    1.16      r = Variable(["r"])
    1.17      formula1 = Imp([Eq([p, q]), r])
    1.18      formula2 = Not([Or([p, q])])
    1.19      formula3 = Not([Not([p])])
    1.20 -    formula =  formula1
    1.21 +    formula =  formula1 # choose your formula here
    1.22  
    1.23      args = parse_arguments()
    1.24      if (args.formula):