Quelle  evil.mlg   Sprache: unbekannt

{
open Stdarg
open EvilImpl
}

DECLARE PLUGIN "rocq-runtime.plugins.evil"

VERNAC COMMAND EXTEND VernacEvil CLASSIFIED AS SIDEFF
| [ "Evil" ident(x) ident(y) ] -> { evil x y }
END