diff options
| author | amahboub | 2013-08-23 11:08:02 +0000 |
|---|---|---|
| committer | amahboub | 2013-08-23 11:08:02 +0000 |
| commit | 9fbe74a0799625fb2f43ec503b2ba8c89bb5aaea (patch) | |
| tree | 8f1046005e075df0be58f31247d30525ba8bd70d /kernel | |
| parent | c3f233d95a8454155204f3cf425bc5c021de7e92 (diff) | |
Updating documentation of the ring/field tactics.
Removes the requirements that are obsolete after commit r16730.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16731 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions