diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-08-29 16:36:44 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-08-29 16:56:08 +0200 |
| commit | 52af446e4104d711a4fce53438b4bd29920a5e3d (patch) | |
| tree | f47c62c60ae52dfbc6b7ad5c8c436fb38b9e4dbc /tactics/decl_proof_instr.mli | |
| parent | 801f2ed206d8b0dbc23403fcd62a97d6508226e2 (diff) | |
Add 0001-Update-for-why-2.19.patch
Diffstat (limited to 'tactics/decl_proof_instr.mli')
0 files changed, 0 insertions, 0 deletions