diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-03-29 16:42:19 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-03-29 16:42:19 +0000 |
commit | b2f779cf923cab0d5c8990678fd9568250e014c8 (patch) | |
tree | 620a443b67434e19555566bf713f28d75cc2bac6 /test-suite/success/CasesDep.v | |
parent | 35b7f30a5f277a87a7bc22b30249ce9cfdf4eebb (diff) |
indentation
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3811 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'test-suite/success/CasesDep.v')
-rw-r--r-- | test-suite/success/CasesDep.v | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test-suite/success/CasesDep.v b/test-suite/success/CasesDep.v index 8d0dc0f5c..1a2bb3f73 100644 --- a/test-suite/success/CasesDep.v +++ b/test-suite/success/CasesDep.v @@ -24,7 +24,8 @@ Fixpoint foldrn [n:nat; bs:(listn B n)] : C := End Folding. (* -------------------------------------------------------------------- *) -(* Example to test patterns matching on dependent families *) (* This exemple extracted from the developement done by Nacira Chabane *) +(* Example to test patterns matching on dependent families *) +(* This exemple extracted from the developement done by Nacira Chabane *) (* (equipe Paris 6) *) (* -------------------------------------------------------------------- *) |