diff options
| author | Pierre Boutillier | 2014-02-28 12:06:56 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2014-02-28 17:29:13 +0100 |
| commit | 9ca0e6ae17453fcd01f4bd319e544950ca4ec838 (patch) | |
| tree | 4f7cbe8fa80aa293174b890aa956a73f1119e0ef /kernel | |
| parent | cc06ffe3df0ecc023ad046a085b0751ed4161cbf (diff) | |
test-suite: opaque term -> opaque proof
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions