_CoqProject

src/META.coq-codegen
-Q theories codegen
-I src

# required to install *.{cmi,cmx,cmxs,cmxa} when make install
-Q src codegen

src/codegen_plugin.mlpack
src/state.mli
src/state.ml
src/cgenutil.mli
src/cgenutil.ml
src/filegen.mli
src/filegen.ml
src/snippet.mli
src/snippet.ml
src/induc.mli
src/induc.ml
src/matchapp.mli
src/matchapp.ml
src/specialize.mli
src/specialize.ml
src/linear.mli
src/linear.ml
src/genc.mli
src/genc.ml
src/indimp.mli
src/indimp.ml
src/g_codegen.mli
src/g_codegen.mlg
theories/codegen.v