_CoqProject « poly-capture-global-univs « misc « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

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

blob: 70ec246062cfff1775c40715c4f80f0539ca9faa (plain)

-Q theories Evil
-I src

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