-arg -w
-arg all
-arg -w
-arg -disj-pattern-notation

-R theories/ Nominal

theories/Prelude.v
theories/Group.v
theories/Name.v
theories/Perm.v
theories/Nominal.v