diff options
| author | Pierre-Marie Pédrot | 2016-03-20 01:31:43 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-03-20 01:57:19 +0100 |
| commit | 0af598b77a6242d796c66884477a046448ef1e21 (patch) | |
| tree | f0baff4fff51d0f6b785dafd01051aa37eb1c240 /kernel/nativecode.mli | |
| parent | 8cb2040e4af40594826df97a735c38c8882934ca (diff) | |
Moving Tactic Notation to an EXTEND based command.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions