diff options
| author | letouzey | 2012-06-05 16:59:12 +0000 |
|---|---|---|
| committer | letouzey | 2012-06-05 16:59:12 +0000 |
| commit | 4d06337f9f21b62fa15763f8aee0471e78490150 (patch) | |
| tree | 0921ec013e5a45278dab764ac0ae39e608c4482f /plugins/syntax | |
| parent | 9dea6a7404a251dbf7c467b445aca2686de59d22 (diff) | |
CHANGES: mention the end of induction principles for records
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15426 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions