1 files changed, 31 insertions, 0 deletions

diff --git a/_CoqProject b/_CoqProject
new file mode 100644
index 0000000..49e7e24
--- /dev/null
+++ b/_CoqProject
@@ -0,0 +1,31 @@
+-Q theories mininix
+
+theories/utils.v
+theories/res.v
+
+theories/lambda/operational.v
+theories/lambda/operational_props.v
+theories/lambda/interp.v
+theories/lambda/interp_proofs.v
+
+theories/dynlang/operational.v
+theories/dynlang/operational_props.v
+theories/dynlang/interp.v
+theories/dynlang/interp_proofs.v
+theories/dynlang/equiv.v
+
+theories/evallang/operational.v
+theories/evallang/operational_props.v
+theories/evallang/interp.v
+theories/evallang/interp_proofs.v
+theories/evallang/tests.v
+
+theories/nix/floats.v
+theories/nix/operational.v
+theories/nix/operational_props.v
+theories/nix/interp.v
+theories/nix/notations.v
+theories/nix/tests.v
+theories/nix/interp_proofs.v
+theories/nix/wp.v
+theories/nix/wp_examples.v