diff options
| author | barras | 2001-12-10 17:09:29 +0000 |
|---|---|---|
| committer | barras | 2001-12-10 17:09:29 +0000 |
| commit | c4a1f8efca6008e98837f15b5b4508486937543a (patch) | |
| tree | e6682b8e761f70d4d2fa10e5772e79e7a61744ea /lib/bstack.mli | |
| parent | 00588ac2c248155ee8cfd574ab517df235a5831a (diff) | |
- condition de garde (suite)
- commande Back
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2283 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/bstack.mli')
0 files changed, 0 insertions, 0 deletions