diff options
| -rw-r--r-- | ltac/tacexpr.mli (renamed from intf/tacexpr.mli) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/intf/tacexpr.mli b/ltac/tacexpr.mli index 9c25a16457..9c25a16457 100644 --- a/intf/tacexpr.mli +++ b/ltac/tacexpr.mli |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |