date #!/bin/bash maude <<EOF load maude-npa.maude load examples/secret07.maude red genGrammars . red run(0) . red summary(0) . red summary(1) . red summary(2) . red summary(3) . red summary(4) . red run(0) . red run(1) . red run(2) . red run(3) . red run(4) . EOF date
