1 2 3 4 5 6
@comment $NetBSD: PLIST,v 1.2 2003/12/31 01:20:35 kristerw Exp $ bin/maude share/maude/fm.maude share/maude/model-checker.maude share/maude/prelude.maude @dirrm share/maude