diff --git a/coq/MetaBigStep.v b/coq/MetaBigStep.v
deleted file mode 100644
index e69de29..0000000