diff options
| author | Pierre-Marie Pédrot | 2013-12-11 20:54:51 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2013-12-11 20:54:51 +0100 |
| commit | c2bb8e80ad013ae9021937b95ab01f92450341c5 (patch) | |
| tree | ea46795c3e4194b2eaaaa64bb252991c807d7fb1 /kernel | |
| parent | b9585af9ef6e280ec1aa53e50833a3fa58c1763c (diff) | |
Documenting the tactic-in-term construction.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions