-- sequent calculus proof editor. Aarne Ranta 8/4/1999 -- 26/4 -- 14/11/2000

main :: IO ()
main = do
  putStr welcomeMsg
  _ <- editProofs ((rulesOfCalculus (Calculus ["G3i"]), Goal ([],[])),[])
  return ()
main :: IO ()
main = do
  putStr welcomeMsg
  _ <- editProofs ((rulesOfCalculus (Calculus ["G3i"]), Goal ([],[])),[])
  return ()
main = do
  putStr welcomeMsg
  _ <- editProofs ((rulesOfCalculus (Calculus ["G3i"]), Goal ([],[])),[])
  return ()