cat Error.sig > pwbmain.sml
cat Error.sml >> pwbmain.sml
cat Options.sig >> pwbmain.sml
cat Options.sml >> pwbmain.sml
cat HashTable.sig >> pwbmain.sml
cat HashTable.sml >> pwbmain.sml
cat MyTextIO.sig >> pwbmain.sml
cat MyTextIO.sml >> pwbmain.sml
cat Files.sig >> pwbmain.sml
cat Files.sml | sed -e "s/TextIO.inputLine/MyTextIO.inputLine/g" >> pwbmain.sml
cat Pepa.sig >> pwbmain.sml
cat Pepa.sml >> pwbmain.sml
cat Lexer.sig >> pwbmain.sml
cat Lexer.sml >> pwbmain.sml
cat Sort.sig >> pwbmain.sml
cat Sort.sml >> pwbmain.sml
cat Parser.sig >> pwbmain.sml
cat Parser.sml >> pwbmain.sml
cat Semantic.sig >> pwbmain.sml
cat Semantic.sml >> pwbmain.sml
cat Prettyprinter.sig >> pwbmain.sml
cat Prettyprinter.sml >> pwbmain.sml
cat Table.sig >> pwbmain.sml
cat Table.sml >> pwbmain.sml
cat Statespace.sig >> pwbmain.sml
cat Statespace.sml >> pwbmain.sml
cat Derivatives.sig >> pwbmain.sml
cat Derivatives.sml >> pwbmain.sml
cat Graph.sig >> pwbmain.sml
cat Graph.sml >> pwbmain.sml
cat PWB.sig >> pwbmain.sml
cat PWB.sml | sed -e "s/TextIO.inputLine/MyTextIO.inputLine/g" >> pwbmain.sml
cat mosmlpwb.sml >> pwbmain.sml
