diff options
| author | msozeau | 2008-01-30 04:13:26 +0000 |
|---|---|---|
| committer | msozeau | 2008-01-30 04:13:26 +0000 |
| commit | d02a2539ef38aab2ce0b0510d946423f16d61e9d (patch) | |
| tree | 4a907a0abf322737859e07a5d184a14d51e36e64 /kernel/cbytecodes.mli | |
| parent | e59c9aa09523759787f2c227a3a128fb5faccd99 (diff) | |
Debug 0-ary typeclasses support, use new redefinition support for default tactic
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10482 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions