b2c604be3e59
1 2 3 4 5 6
bin/maude %%DATADIR%%/linear.maude %%DATADIR%%/model-checker.maude %%DATADIR%%/prelude.maude %%DATADIR%%/socket.maude @dirrm %%DATADIR%%