diff options
Diffstat (limited to '')
| -rw-r--r-- | proof/_CoqProject | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/proof/_CoqProject b/proof/_CoqProject deleted file mode 100644 index 0e6123e..0000000 --- a/proof/_CoqProject +++ /dev/null @@ -1,6 +0,0 @@ --R . Sakura - -Schema.v -Relation.v -Drl.v -Extraction.v |