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

-R theories elpi.apps

theories/derive.v
theories/derive/bcongr.v
theories/derive/cast.v
theories/derive/eq.v
theories/derive/eqcorrect.v
theories/derive/eqK.v
theories/derive/eqOK.v
theories/derive/map.v
theories/derive/isK.v
theories/derive/idx2inv.v
theories/derive/invert.v
theories/derive/projK.v
theories/derive/param1.v
theories/derive/param1_functor.v
theories/derive/param1_congr.v
theories/derive/param1_inhab.v
theories/derive/param1_trivial.v
theories/derive/param2.v
theories/derive/induction.v
theories/derive/lens.v
theories/derive/lens_laws.v
