diff options
| author |  msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-02-26 16:20:41 +0000 |
|---|---|---|
| committer | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-02-26 16:20:41 +0000 |
| commit | d56e6710b232665fbc5e5199a1c7e51f61d8a6fc (patch) | |
| tree | e242dc39f64b1b56a0862a195c5ef33f00fe6657 /proofs/tacmach.mli | |
| parent | d081dcfaedb5b7e2ad78574a053bcebc4bfb564a (diff) | |
New instance returns the (future) identifier of the instance.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10590 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'proofs/tacmach.mli')
0 files changed, 0 insertions, 0 deletions