diff options
| author | Pierre-Marie Pédrot | 2016-03-19 02:20:10 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-03-19 02:26:39 +0100 |
| commit | 65e0522033ea47ed479227be30a92fceaa8c6358 (patch) | |
| tree | cf41a9bb3f218eab9dadfc779541309a19a90df7 /dev/base_db | |
| parent | 5c8fc9aebe072237a65fc9ed7acf8ae559a78243 (diff) | |
Replacing the interpretation of Proof using ... with a proper code.
Diffstat (limited to 'dev/base_db')
0 files changed, 0 insertions, 0 deletions