diff options
| author | glondu | 2010-10-11 11:50:57 +0000 |
|---|---|---|
| committer | glondu | 2010-10-11 11:50:57 +0000 |
| commit | 85e52dd8deaaea8dded6be09e7f733c949fd54c5 (patch) | |
| tree | e444ef5cd963585c058a0d1495023019d80f8f00 /plugins/syntax/string_syntax.ml | |
| parent | 1add64f2c91f936e0212817ee056a3742afdd635 (diff) | |
More precise description of boolean ring in doc (see bug #2401)
Also remove misleading example about classical propositional logic in
"What does this tactic do?" section.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13523 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions