diff options
| author | Yves Bertot | 2018-05-11 11:35:37 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-05-11 11:35:37 +0200 |
| commit | 9559285108ec87ad7a813bcb208145a04e86ab5c (patch) | |
| tree | 183936db811e4f0c92bbc40ea6d9996af06982d0 /tuto3/_CoqProject | |
| parent | c74ead36e32c49dbbf030083ba150e10bb1c74cf (diff) | |
Adds a tactic that hides the contents of an hypothesis from view
Diffstat (limited to 'tuto3/_CoqProject')
| -rw-r--r-- | tuto3/_CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tuto3/_CoqProject b/tuto3/_CoqProject index 23ba975de4..6a3c1978a7 100644 --- a/tuto3/_CoqProject +++ b/tuto3/_CoqProject @@ -4,6 +4,8 @@ theories/Data.v theories/Loader.v +src/tuto_tactic.ml +src/tuto_tactic.mli src/construction_game.ml src/construction_game.mli src/g_tuto3.ml4 |