1 2 3 4 5
@comment $NetBSD: PLIST,v 1.3 2005/10/14 19:54:39 tonio Exp $ bin/maude share/maude/model-checker.maude share/maude/prelude.maude @dirrm share/maude