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