# Hack to see Coq-Elpi even if it is not installed yet
-Q ../../theories elpi
-I ../../src

# Hack to see derive even if it is not installed yet
-Q ../derive/theories elpi.apps

-R theories elpi.apps.eltac

theories/assumption.v
theories/constructor.v
theories/intro.v
theories/clear.v
theories/fail.v
theories/discriminate.v
theories/injection.v
theories/case.v
theories/generalize.v
theories/cycle.v
theories/tactics.v
