diff options
| author | Yves Bertot | 2018-05-04 09:12:06 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-05-04 09:12:06 +0200 |
| commit | 673f55be2b5139f154bbd84e72550a7c7c58341a (patch) | |
| tree | eb99108b50cf88f0fc33680f3c967fc2282132c1 /tuto1/_CoqProject | |
| parent | 93273e29708ff5c24024bde0e4b9955cb94a0dc0 (diff) | |
This revision contains a simple Check command.
Diffstat (limited to 'tuto1/_CoqProject')
| -rw-r--r-- | tuto1/_CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tuto1/_CoqProject b/tuto1/_CoqProject index 3f087e48d7..554893e739 100644 --- a/tuto1/_CoqProject +++ b/tuto1/_CoqProject @@ -1,6 +1,8 @@ -R theories Tuto1 -I src +src/simple_check.mli +src/simple_check.ml src/simple_declare.mli src/simple_declare.ml src/g_tuto1.ml4 |