test-assign2.maude : the file has …
test-assign2.maude: the file has been updated and now should work with Maude 2.6. Sorry for the inconvenient and thanks for the feedback!
Publisert 26. okt. 2011 18:34
- Sist endret 26. okt. 2011 18:47