diff options
| author | msozeau | 2007-02-09 10:27:04 +0000 |
|---|---|---|
| committer | msozeau | 2007-02-09 10:27:04 +0000 |
| commit | aaa3d901848dd8ca419fd5c2c7e815db73607cc4 (patch) | |
| tree | 72c2d31bfd0e952f56c0cdbec6da012c813de16c /kernel | |
| parent | da7aa517fe906633e98aa55e6de3ef77a063e211 (diff) | |
Separate Tactics in subtac.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9627 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions