diff options
| author | msozeau | 2010-03-31 20:49:33 +0000 |
|---|---|---|
| committer | msozeau | 2010-03-31 20:49:33 +0000 |
| commit | 103fc347e7f159109667af89293da3d90c7b3a29 (patch) | |
| tree | 6d80ff80d88c1d93ab378d737727bb6f0103efe2 /dev/include | |
| parent | 7e52301b501f7a574fca19776fb7fcbfe873d533 (diff) | |
Add documentation on the treatment of [if] and [let (x1, ... xn) := ..]
by Program. Fix some broken examples and detail the syntax of order
annotations for well-founded recursion.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12897 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions