diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-07-26 09:24:41 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-07-26 09:24:41 +0200 |
| commit | 801f2ed206d8b0dbc23403fcd62a97d6508226e2 (patch) | |
| tree | 341bff65671364f3d43a14d78203657d5e498dbc /proofs/refiner.mli | |
| parent | ee2bd359557ca6d68a5ca4aced4014f9e3581cbb (diff) | |
More precise informations in README.Debian
Diffstat (limited to 'proofs/refiner.mli')
0 files changed, 0 insertions, 0 deletions