diff options
| author |  bertot <bertot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-01-19 13:28:22 +0000 |
|---|---|---|
| committer | bertot <bertot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-01-19 13:28:22 +0000 |
| commit | 215627b6efcb37a5d0b98307cf5708df5103f7cf (patch) | |
| tree | e56923b6699cf794ab404c80b1200f29a346a670 | |
| parent | 4964d8eb31aa603b4b0ce70f7f4248deb8278728 (diff) | |
1.20
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5217 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | contrib/interface/ascent.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/interface/ascent.mli b/contrib/interface/ascent.mli index 5132c94aa..4647c0c8b 100644 --- a/contrib/interface/ascent.mli +++ b/contrib/interface/ascent.mli @@ -240,10 +240,12 @@ and ct_FORMULA = | CT_if of ct_FORMULA_OPT * ct_FORMULA * ct_FORMULA * ct_FORMULA | CT_inductive_let of ct_FORMULA_OPT * ct_ID_OPT_NE_LIST * ct_FORMULA * ct_FORMULA | CT_lambdac of ct_BINDER_NE_LIST * ct_FORMULA + | CT_let_tuple of ct_ID_OPT_NE_LIST * ct_ID_OPT * ct_FORMULA_OPT * ct_FORMULA * ct_FORMULA | CT_letin of ct_DEF * ct_FORMULA | CT_notation of ct_STRING * ct_FORMULA_LIST | CT_num_encapsulator of ct_NUM_TYPE * ct_FORMULA | CT_prodc of ct_BINDER_NE_LIST * ct_FORMULA + | CT_proj of ct_FORMULA * ct_FORMULA_NE_LIST and ct_FORMULA_LIST = CT_formula_list of ct_FORMULA list and ct_FORMULA_NE_LIST = |