-Q theories deriving

-arg -w -arg -notation-overridden
-arg -w -arg -non-reversible-notation
-arg -w -arg -ssr-search-moved

theories/base.v
theories/ind.v
theories/tactics.v
theories/infer.v
theories/instances.v
theories/deriving.v

theories/instances/eqtype.v
theories/instances/tree_of_ind.v
theories/instances/fintype.v
theories/instances/order.v
