welcomeMsg =
 "\nWelcome to a proof editor for sequent calculus, version January 1, 2015." ++++
 "Originally written by Aarne Ranta, and modified by Tomoaki Hashizaki thashizaki@jaist.ac.jp" ++++
 "Starting with the calculus G3i (intuitionistic predicate calculus)." ++++
 "Type ? for help on available commands.\n\n"
welcomeMsg =
 "\nWelcome to a proof editor for sequent calculus, version January 1, 2015." ++++
 "Originally written by Aarne Ranta, and modified by Tomoaki Hashizaki thashizaki@jaist.ac.jp" ++++
 "Starting with the calculus G3i (intuitionistic predicate calculus)." ++++
 "Type ? for help on available commands.\n\n"
welcomeMsg =
 "\nWelcome to a proof editor for sequent calculus, version January 1, 2015." ++++
 "Originally written by Aarne Ranta, and modified by Tomoaki Hashizaki thashizaki@jaist.ac.jp" ++++
 "Starting with the calculus G3i (intuitionistic predicate calculus)." ++++
 "Type ? for help on available commands.\n\n"