_CoqProject « poly-capture-global-univs « misc « test-suite - coq - The formal proof system

about summary refs log tree commit diff

path: root/test-suite/misc/poly-capture-global-univs/_CoqProject

blob: e5dc3cff56b05a6404b63348ecb1acc387edb0f1 (plain)

-Q theories Evil
-I src

src/evil.mlg
src/evilImpl.ml
src/evilImpl.mli
src/evil_plugin.mlpack
theories/evil.v